Search: github.com/mrThe | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: CPU-based Neural Net. Zero floats. Returns "I don't know"

github.com/probabilistic-minds-consortium

5 months ago

1 points

92.

Show HN: Grade books and problems (with solutions) to brush up on math

github.com/srigalibe

7 years ago

1 points

93.

Show HN: Frozen Function-agnostic goldenratio calculus (pip install phi-engine)

github.com/Purrplexia

7 months ago

1 points

94.

Show HN: Instant Calculus: frozen, function-agnostic, arbitrary-precision GPLv3

github.com/Purrplexia

7 months ago

1 points

95.

Code for a Programmer's Introduction to Mathematics

github.com/pim-book

8 years ago

2 points

96.

Show HN: A P2P Contribution-Based Protocol for Civic Trust

github.com/contribution-protocol

a year ago

3 points

97.

Woxi: Wolfram Mathematica Reimplementation in Rust

github.com/ad-si

4 months ago

350 points

98.

Robotics 501: Mathematics for Robotics

github.com/michiganrobotics

4 years ago

278 points

99.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf]

github.com/deepseek-ai

7 months ago

231 points

100.

Penrose: Create diagrams by typing mathematical notation in plain text

github.com/penrose

7 years ago

231 points

101.

Mathics 7.0 – Open-source alternative to Mathematica

github.com/Mathics3

2 years ago

223 points

102.

A cheat-sheet for mathematical notation in code form

github.com/Jam3

5 years ago

199 points

103.

Show HN: Formalizing Principia Mathematica using Lean

github.com/ndrwnaguib

a year ago

188 points

104.

Penrose: Create diagrams by typing mathematical notation in plain text

github.com/penrose

6 years ago

184 points

105.

Systemd mounted efivarfs read-write, allowing motherboard bricking via 'rm'

github.com/systemd

10 years ago

180 points

106.

Lenia – Mathematical Life Forms

github.com/Chakazul

6 years ago

154 points

107.

Curv: A language for making art using mathematics

github.com/doug-moen

7 years ago

152 points

108.

Show HN: MathB.in – Mathematics pastebin written in Common Lisp

github.com/susam

4 years ago

134 points

109.

Show HN: I designed my own 3D printer motherboard

github.com/KaiPereira

7 months ago

127 points

110.

Mathpad: A mathematical keypad for students and professionals

github.com/Summa-Cogni

a year ago

126 points

111.

Show HN: Advanced Mathematics Library for Node.js and JavaScript

github.com/sjkaliski

14 years ago

123 points

112.

Coreboot port for 486 motherboard (UM8881/6)

github.com/pc2005cz

2 years ago

98 points

113.

Show HN: Mathematics Chalkboard with LaTeX and Markdown Support

github.com/susam

5 years ago

89 points

114.

Today a programmer was born. And you are my mother.

15 years ago

83 points

115.

AlgoMIDI – A Mathematical 'Music Studio'

github.com/myanvoos

a year ago

77 points

116.

Domain-Specific Languages of Mathematics

github.com/DSLsofMath

3 years ago

75 points

117.

Understanding Mathematical Notation as Code

github.com/Jam3

11 years ago

72 points

118.

Douglas Lenat's Automated Mathematician Source Code

github.com/white-flame

3 months ago

70 points

119.

OpenNMT: Open-Source Neural Machine Translation with Torch Mathematical Toolkit

github.com/OpenNMT

6 years ago

59 points

120.

FPGAs for numerical mathematics using CLaSH

github.com/Gladdy

11 years ago

45 points