DorIsch0 / Pi-e
A recipe for a nice cake that approximates pi when compiled in Chef
☆14Updated 2 years ago
Alternatives and similar repositories for Pi-e:
Users that are interested in Pi-e are comparing it to the libraries listed below
- Zotero built from source on Nix☆12Updated 2 months ago
- ☆11Updated last year
- ☆22Updated 2 years ago
- A Github action to lint a LaTeX file for style and formatting issues.☆17Updated 3 weeks ago
- The glitch-soc/Mastodon fork running on types.pl☆22Updated last month
- A number guessing game with a p-adic twist.☆9Updated last year
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- multilingual dictionary of mathematical terminology☆19Updated 4 months ago
- An experimental non-deterministic concatenative golfing language☆24Updated last month
- Maximally decentralized cryptocurrency☆20Updated 4 years ago
- A Markdown based fork of the Vegan Cheatsheet.☆9Updated 4 years ago
- My public wallpapers for consumption by downstream projects☆13Updated 11 months ago
- Solver for Wordle☆38Updated 3 years ago
- Like less, but for tabular data☆19Updated 7 months ago
- A semantic Extension of TeX/LaTeX☆51Updated this week
- ☆17Updated last week
- *cheep cheep shriek caw*☆93Updated last year
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆26Updated this week
- Nix RFC draft for auto-calling packages in nixpkgs☆18Updated 2 years ago
- ⌨️ A modern TUI typing game featuring online racing against friends.☆91Updated 3 years ago
- Tim Button's open textbook on set theory☆32Updated last year
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- An optimizing Brainfuck interpreter.☆13Updated 5 years ago
- Share the love of Nix [maintainer=@zimbatm]☆44Updated 9 months ago
- Agda grammar for tree-sitter☆34Updated 3 months ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 4 months ago
- A Visual Studio Code plugin that helps you indent code according to the Fibonacci sequence.☆43Updated 2 years ago
- A math language for dimensional analysis☆22Updated last year
- A Python implementation of the chicken esoteric programming language.☆18Updated 4 years ago
- VSCode extension for Metamath☆10Updated this week