Search: github.com/mgth | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

571.

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

2 points

5 months ago

572.

Show HN: I built a deterministic vector DB kernel in Rust using fixed-point math (github.com/varshith-Git)

2 points

6 months ago

573.

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

2 points

7 months ago

574.

Graphulo: Accumulo library of matrix math primitives and graph algorithms (github.com/Accla)

2 points

8 months ago

575.

Show HN: Zeno – A framework for verifiable RL rewards (code, math, and more) (github.com/Think-a-Tron)

2 points

a year ago

576.

Realtime Math: C++11 alternative to glm and DirectX Math (github.com/nfrechette)

2 points

a year ago

577.

Late Chunking vs. Contextual Retrieval: The Math Behind RAG's Context Problem (gist.github.com)

2 points

2 years ago

578.

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

2 points

2 years ago

579.

Show HN: RunRateRodeo – Cricket vector math and net run rate (github.com/umlet)

2 points

2 years ago

580.

UnicodeMathML: UnicodeMath to MathML translator (maintained by Murray Sargent) (github.com/MurrayIII)

2 points

3 years ago

581.

CalcPy: Calculator and advanced math solver in the comfort of your terminal (github.com/idanpa)

2 points

3 years ago

582.

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

2 points

3 years ago

583.

Manim.js: Replicating 3Blue1Brown's math animation engine in JavaScript (p5.js) (github.com/JazonJiao)

2 points

3 years ago

584.

Show HN: Open-Source Implementation of John Conway's Mathy Game of Hackenbush (github.com/file-acomplaint)

2 points

3 years ago

585.

Show HN: Otterkit.Numerics, WIP IEEE-754 Decimal Math Library for C# (github.com/otterkit)

2 points

3 years ago

586.

Emmy is an implementation of the scmutils system for math and physics investiga (github.com/mentat-collective)

2 points

3 years ago

587.

Show HN: Mile an editor for my math display language (github.com/Jah-On)

2 points

3 years ago

588.

MAPM-5: Mike's Arbitrary Precision Math Library Version 5.1 (github.com/achan001)

2 points

4 years ago

589.

Show HN: PrimeCode – Math-Person's ROT13 (github.com/crisdosyago)

2 points

4 years ago

590.

Proof Math Is Engineered (github.com/avaneev)

2 points

4 years ago

591.

Ganit: Web Based MathML Graphical Editor (manojyadav.github.com)

2 points

15 years ago

592.

Seshat: Handwritten Math Expression Parser (github.com/falvaro)

2 points

4 years ago

593.

PicoMath: Fast math evaluation library (C++ header-only) (github.com/Nitrillo)

2 points

4 years ago

594.

linmath.h – a lean linear math library aimed at graphics programming (github.com/datenwolf)

2 points

4 years ago

595.

Math Libraries Written in OpenCL (github.com/clMathLibraries)

2 points

4 years ago

596.

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

2 points

4 years ago

597.

Animation engine for explanatory math videos (github.com/3b1b)

2 points

4 years ago

598.

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

2 points

4 years ago

599.

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

2 points

5 years ago

600.

NeutriNote goes open source (the first Markdown with math Android note app) (github.com/appml)

2 points

5 years ago