Search: github.com/mrThe | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Mathematical Representations of Qualia (github.com/jzkool)

2 points

hiddenarchitect

4 months ago

212.

Astra v1.0 – Formally verified smart contracts with six mathematical axioms

2 points

5 months ago

213.

Show HN: TAUT2 – Mathematical logic exercises in the browser (taut-logic.com)

2 points

7 months ago

214.

List of Mathematics Books Using Array Languages (github.com/EvansWinner)

2 points

2 years ago

215.

miniF2F: Formal to Formal Mathematics Benchmark (github.com/openai)

2 points

2 years ago

216.

An IRC client in your motherboard (github.com/codyd51)

2 points

2 years ago

217.

Chicago undergraduate mathematics bibliography (2018) (github.com/ystael)

2 points

2 years ago

218.

Show HN: Simple mathematic syntactic sugars for Ruby (github.com/dalthon)

2 points

2 years ago

219.

Realworld: “The mother of all demo apps” – Exemplary fullstack Medium.com clone (github.com/gothinkster)

2 points

3 years ago

220.

Mathematical Symbolic Differentiation in Guile Scheme (gist.github.com)

2 points

3 years ago

221.

Mathematical expression parsing and calculation engine library (github.com/dengsgo)

2 points

3 years ago

222.

CPU-X: a Free software that gathers information on CPU, motherboard and more (github.com/TheTumultuousUnicornOfDarkness)

2 points

3 years ago

223.

Eufy Homebase 2 – Close up images of the Motherboard (github.com/farisjarrah)

2 points

3 years ago

224.

Ten Chinese Mathematics College Entrance examination papers in 2021 (github.com/XmacsLabs)

2 points

4 years ago

225.

Proving Ground: Tools for Automated Mathematics; HoTT (github.com/siddhartha-gadgil)

2 points

4 years ago

226.

SVG-equations: convert SVG paths to mathematical equations (github.com/maltaisn)

2 points

5 years ago

227.

Medium clones fullstack: The mother of all demo apps“ (github.com/gothinkster)

2 points

7 years ago

228.

Amiga 2000 revision 6.2 motherboard re-done in KiCAD (github.com/rhaamo)

2 points

7 years ago

229.

Coursera Mathematics for Machine Learning (github.com/goodhamgupta)

2 points

7 years ago

230.

Sym: A Mathematica package for generating symbolic models from data (github.com/paulknysh)

2 points

8 years ago

231.

Math-as-code: a cheat-sheet for mathematical notation in code form (github.com/Jam3)

2 points

8 years ago

232.

Mathematics as a domain specific language (github.com/DSLsofMath)

2 points

8 years ago

233.

Introduction to Statistics and Basics of Mathematics for Data Science (github.com/amitkaps)

2 points

8 years ago

234.

Sym: A Mathematica package for generating symbolic models from data (github.com/paulknysh)

2 points

8 years ago

235.

Cactoos-math (Extension of Cactoos. Added classes for mathematical objects) (github.com/VsSekorin)

2 points

8 years ago

236.

A reference to ease developers into mathematical notation (github.com/Jam3)

2 points

8 years ago

237.

Creating computation networks from ordinary mathematical expressions in C++ (github.com/burtonsamograd)

2 points

9 years ago

238.

A Mathematica package for parallel symbolic regression using Monte Carlo (github.com/paulknysh)

2 points

10 years ago

239.

Mathematical Expression Parser Benchmark (github.com/ArashPartow)

2 points

10 years ago

240.

How to destruct all your pain with the mathematics (github.com/DestructHub)

2 points

10 years ago