interprets lambda calculus
☆10Dec 1, 2025Updated 2 months ago
Alternatives and similar repositories for lambda
Users that are interested in lambda are comparing it to the libraries listed below
Sorting:
- ☆21Apr 27, 2023Updated 2 years ago
- A Haskell library for loading configuation data from environment variables.☆17Nov 4, 2022Updated 3 years ago
- OCaml bindings to Windows' IOCP API☆17Apr 19, 2023Updated 2 years ago
- ☆22Oct 2, 2018Updated 7 years ago
- 🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list☆27Jan 11, 2023Updated 3 years ago
- A CHIP8 emulator written in OCaml☆25Mar 4, 2022Updated 3 years ago
- A Ptracing Profiler For Lua!☆24Dec 13, 2018Updated 7 years ago
- ☆29Jul 11, 2025Updated 7 months ago
- Servant Errors wai-middleware☆25Oct 14, 2024Updated last year
- Append-only list persist & query system☆27Jan 27, 2022Updated 4 years ago
- Code written for the Berlin FP meetup.☆25May 10, 2020Updated 5 years ago
- J'ai plus mal à la tête maintenant☆25Feb 18, 2026Updated last week
- DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.☆28Oct 20, 2021Updated 4 years ago
- An OCaml library for creating pandoc filters.☆32Oct 9, 2024Updated last year
- Haskell binding for Gremlin graph query language☆27Jan 8, 2026Updated last month
- SSH chat server using trust on first use for user registration☆32May 18, 2025Updated 9 months ago
- HLint as a GHC source plugin.☆31Jul 8, 2024Updated last year
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Jun 25, 2020Updated 5 years ago
- Machinery for throwing and catching exceptions with some annotation.☆35Apr 11, 2025Updated 10 months ago
- A library for manipulating, creating and parsing GeoJSON☆40Nov 3, 2024Updated last year
- Data centralization tool☆36Aug 24, 2020Updated 5 years ago
- Parser for Emacs org-mode files☆37Dec 12, 2025Updated 2 months ago
- OCaml WebAssembly runtime powered by Wasmtime☆35May 2, 2022Updated 3 years ago
- 『Hello Shopify Themes Shopifyテーマ開発ガイド』サポート用のGitHubレポジトリです。正誤表・本文中URL一覧・サンプルコードを公開しています。☆10Feb 15, 2023Updated 3 years ago
- ☆10Dec 14, 2023Updated 2 years ago
- simd enabled column imprints☆11Feb 12, 2018Updated 8 years ago
- Relational database programming for OCaml (unreleased)☆44Feb 13, 2026Updated 2 weeks ago
- A streaming PostgreSQL logical replication client library for Haskell☆42Aug 4, 2023Updated 2 years ago
- ☆33Apr 15, 2022Updated 3 years ago
- Moved to https://github.com/haskell-webgear/webgear☆38Jun 13, 2021Updated 4 years ago
- Simple goldenfile testing in Rust☆44Updated this week
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆33Feb 16, 2026Updated last week
- ☆12Feb 3, 2024Updated 2 years ago
- Real time replication from MySQL to Neo4J using binary logs☆11Nov 13, 2015Updated 10 years ago
- A python library for runtime validation and type checking of python values.☆10Aug 11, 2022Updated 3 years ago
- Database implementation from the scratch. The textbook is shown in the following link.☆41Oct 31, 2021Updated 4 years ago
- A Java implementation of the Operation Result Pattern, so you don't need to make your own☆14Feb 25, 2024Updated 2 years ago
- Gnome extension to quickly set pipewire's samplerate and buffer size☆16Dec 28, 2025Updated last month
- Django based microservice architecture with oauth2 🔋🌟☆11Sep 19, 2024Updated last year