Typed pure FP where data is syntax sugar for functions
☆11Nov 6, 2025Updated 11 months ago
Alternatives and similar repositories for small
Users that are interested in small are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Chip 8 emulator written in Rust 🕹️☆11Feb 6, 2024Updated 2 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 5 years ago
- ☆12Mar 2, 2026Updated 7 months ago
- a small one-file lisp implemented in kind2, intentionally incomplete☆11Feb 2, 2023Updated 3 years ago
- Native, high-performance, cross-platform desktop apps - built with Reason!☆13Sep 8, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- ☆17Jan 6, 2026Updated 9 months ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated 2 years ago
- Glimmer Wordle - Play Wordle Endlessly with No Limit!☆12Nov 8, 2023Updated 2 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 8 months ago
- Yet another Ruby interpreter for Rinha de Compiladores☆23Sep 28, 2023Updated 3 years ago
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- Intern to CTO path☆12Jun 20, 2023Updated 3 years ago
- A declarative toy language inspired on set comprehensions.☆18Feb 26, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Toy programming language☆20May 18, 2024Updated 2 years ago
- ☆25Jun 24, 2021Updated 5 years ago
- 12 AI skills + 1 orchestrator that guide founders from idea to scale. Battle-tested frameworks (YC, Sequoia, Mom Test, MEDDIC, and 15+ mo…☆12Mar 22, 2026Updated 7 months ago
- Event-sourced task graphs, pattern learning, and swarm coordination for Claude Code☆15Jul 4, 2026Updated 3 months ago
- ☆24Updated this week
- A puzzle to stamp letters and send them to the mailbox☆15Nov 8, 2022Updated 3 years ago
- S-expression parsing and writing in Rust☆18Apr 8, 2023Updated 3 years ago
- A dead simple, yet Rack-compatible, HTTP server written in Ruby☆14Oct 24, 2023Updated 3 years ago
- A parallel general purpose computer based on interaction combinators☆12Nov 19, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆29Sep 12, 2025Updated last year
- theme inspired by transfem emo aesthetics - special for cat girls 💜😺☆11Sep 29, 2026Updated last month
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆17Jan 21, 2026Updated 9 months ago
- Hypercard-like game engine☆14Feb 7, 2024Updated 2 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 7 years ago
- JavaScript Playground similar to runkit but on top of MDX and local first☆13Oct 9, 2020Updated 6 years ago
- Conjunto de dados tabulados com base nas referências cadastrais do IBGE, Dados abertos do GOV.BR, e iniciativas de curadoria de dados ind…☆11Sep 27, 2023Updated 3 years ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 2023Updated 3 years ago
- A simple "Space Invaders" like with pure HTML/CSS/JS without Canvas☆11Sep 18, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The Haskell implementation of the Milho programming language.☆29Jul 17, 2023Updated 3 years ago
- Category Theory & Cobordism Categories in Lean 4☆16Jun 27, 2024Updated 2 years ago
- "Modern compiler implementation" in Haskell!☆28Jan 12, 2015Updated 11 years ago
- Lista de materiais para iniciantes ou para conhecer melhor a linguagem☆10Aug 25, 2021Updated 5 years ago
- ☆12Aug 2, 2015Updated 11 years ago
- User documentation for Elm Bootstrap☆11Mar 2, 2023Updated 3 years ago
- ☆23Apr 23, 2023Updated 3 years ago