HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
211.
▲
Euler: Swift Custom Operators for Mathematical Notation
github.com/mattt
discuss
12 years ago
ingve
2 points
212.
▲
Mathbox.js: beautiful mathematical visualisations in WebGL
github.com/unconed
discuss
13 years ago
nagrom
2 points
213.
▲
Vibe Theory: Mathematical Derivation of Aesthetic Vibe from Text
github.com/xraymemory
discuss
4 months ago
idempotent_
2 points
214.
▲
Mathematical Representations of Qualia
github.com/jzkool
discuss
5 months ago
hiddenarchitect
2 points
215.
▲
Astra v1.0 – Formally verified smart contracts with six mathematical axioms
discuss
5 months ago
kroesser4
2 points
216.
▲
Show HN: TAUT2 – Mathematical logic exercises in the browser
taut-logic.com
discuss
8 months ago
cartucho1
2 points
217.
▲
List of Mathematics Books Using Array Languages
github.com/EvansWinner
discuss
2 years ago
b-man
2 points
218.
▲
miniF2F: Formal to Formal Mathematics Benchmark
github.com/openai
discuss
2 years ago
tosh
2 points
219.
▲
An IRC client in your motherboard
github.com/codyd51
discuss
2 years ago
Mopolo
2 points
220.
▲
Chicago undergraduate mathematics bibliography (2018)
github.com/ystael
discuss
2 years ago
Tomte
2 points
221.
▲
Show HN: Simple mathematic syntactic sugars for Ruby
github.com/dalthon
discuss
2 years ago
daltonpinto
2 points
222.
▲
Realworld: “The mother of all demo apps” – Exemplary fullstack Medium.com clone
github.com/gothinkster
discuss
3 years ago
olalonde
2 points
223.
▲
Mathematical Symbolic Differentiation in Guile Scheme
gist.github.com
discuss
3 years ago
kruhft
2 points
224.
▲
Mathematical expression parsing and calculation engine library
github.com/dengsgo
discuss
3 years ago
satuke
2 points
225.
▲
CPU-X: a Free software that gathers information on CPU, motherboard and more
github.com/TheTumultuousUnicornOfDarkness
discuss
3 years ago
marcodiego
2 points
226.
▲
Eufy Homebase 2 – Close up images of the Motherboard
github.com/farisjarrah
discuss
4 years ago
farisjarrah
2 points
227.
▲
Ten Chinese Mathematics College Entrance examination papers in 2021
github.com/XmacsLabs
discuss
4 years ago
sadhen
2 points
228.
▲
Proving Ground: Tools for Automated Mathematics; HoTT
github.com/siddhartha-gadgil
discuss
4 years ago
tluyben2
2 points
229.
▲
SVG-equations: convert SVG paths to mathematical equations
github.com/maltaisn
discuss
5 years ago
s1291
2 points
230.
▲
Medium clones fullstack: The mother of all demo apps“
github.com/gothinkster
discuss
7 years ago
based2
2 points
231.
▲
Amiga 2000 revision 6.2 motherboard re-done in KiCAD
github.com/rhaamo
discuss
7 years ago
m_b
2 points
232.
▲
Coursera Mathematics for Machine Learning
github.com/goodhamgupta
discuss
7 years ago
goodhamgupta
2 points
233.
▲
Sym: A Mathematica package for generating symbolic models from data
github.com/paulknysh
discuss
8 years ago
paulknysh
2 points
234.
▲
Math-as-code: a cheat-sheet for mathematical notation in code form
github.com/Jam3
discuss
8 years ago
ingve
2 points
235.
▲
Mathematics as a domain specific language
github.com/DSLsofMath
discuss
8 years ago
theaeolist
2 points
236.
▲
Introduction to Statistics and Basics of Mathematics for Data Science
github.com/amitkaps
discuss
8 years ago
happy-go-lucky
2 points
237.
▲
Sym: A Mathematica package for generating symbolic models from data
github.com/paulknysh
discuss
8 years ago
paulknysh
2 points
238.
▲
Cactoos-math (Extension of Cactoos. Added classes for mathematical objects)
github.com/VsSekorin
discuss
8 years ago
VsSekorin
2 points
239.
▲
A reference to ease developers into mathematical notation
github.com/Jam3
discuss
9 years ago
swalsh
2 points
240.
▲
Creating computation networks from ordinary mathematical expressions in C++
github.com/burtonsamograd
discuss
9 years ago
kruhft
2 points
More