All
JS
React
Ruby
Go
Postgres
Frontend
Node
math
Past 7d, sorted by best first
| 10/08 |
7
|
LaTeX-to-MathML conversion utility in JavaScript designed to be lightweight.
JavaScript
355☆
2076d old
#javascript
#math
#latex
|
| 10/07 |
5
|
BearToCode/Carta
carta-md-v4.11.5
Lightweight, fast, extensible Svelte Markdown editor and viewer.
|
| 10/09 |
4
|
litexlang/Litex
1.0.6-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust
674☆
696d old
#golang
#ai
#rust
#go
#math
|