Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.
☆12Jan 6, 2026Updated 2 months ago
Alternatives and similar repositories for nlambda
Users that are interested in nlambda are comparing it to the libraries listed below
Sorting:
- A notational semantic for documenting neural networks through diagrams☆15Aug 5, 2023Updated 2 years ago
- The Warp academy - a set of tutorials that introduce into smart contracts development in Warp☆17Apr 27, 2024Updated last year
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 2 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- Generate ReasonReact Pages from Markdown☆17Jul 27, 2018Updated 7 years ago
- https://1000-plus.github.io/☆22Feb 11, 2026Updated last month
- ☆12Sep 22, 2020Updated 5 years ago
- Graphical boot animation and logger☆22May 31, 2011Updated 14 years ago
- OCaml support for Flycheck using Merlin☆22Jan 6, 2024Updated 2 years ago
- A library to store metadata of relational databases including the schema, statistics, and integrity constraints.☆25Aug 7, 2018Updated 7 years ago
- Bit-level codec library☆17Apr 26, 2023Updated 2 years ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆11Mar 12, 2025Updated last year
- JavaScript solutions to advent of code challenges☆14Dec 26, 2017Updated 8 years ago
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 9 years ago
- 📶 - Elm style FRP library for Haskell☆16Aug 8, 2018Updated 7 years ago
- Refactorio is a tool with which you build and maintain software.☆19Jun 3, 2024Updated last year
- Scripts for validating retirement plans using Monte Carlo analysis.☆10Mar 13, 2026Updated last week
- A visual music canvas☆12May 1, 2018Updated 7 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 8 years ago
- ☆17Sep 30, 2025Updated 5 months ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated this week
- Yet Another Software Language Repository☆19Jan 25, 2026Updated last month
- A library to easily use servant and GDP together to build web apis with a lot of knowledge in the types☆10Sep 15, 2021Updated 4 years ago
- A tiny Java helper for Windows for emulating keyboard via scan codes.☆11Sep 3, 2021Updated 4 years ago
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Jan 21, 2026Updated last month
- Kotlin workshops materials☆12May 20, 2022Updated 3 years ago
- A meta-gateway for Arweave SmartWeave interaction transactions.☆37Mar 28, 2025Updated 11 months ago
- An interpreter for Gödel's System T☆13Apr 17, 2017Updated 8 years ago
- When you run eureka clients on AWS Fargate the registration does not work by default. That's because the IP which is used in registration…☆12Aug 17, 2018Updated 7 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 2 years ago
- An implementation of the actor model in Haskell using STM☆17Feb 25, 2026Updated 3 weeks ago
- code for the book Make Your Own Algorithmic Art☆14Aug 1, 2019Updated 6 years ago
- Project Z, an initiative to build a Haskell engineering eco-system.☆25Oct 28, 2024Updated last year
- Exploring the space of all possible programs☆27Jan 9, 2014Updated 12 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆33Mar 27, 2020Updated 5 years ago
- Airport simulation with Erlang OTP☆14Nov 8, 2016Updated 9 years ago
- Templates for WASM smart contracts (AS, Rust, Go) compatible with SmartWeave Protocol☆41Jun 16, 2023Updated 2 years ago
- This project has been moved to https://gitlab.com/cloogle/cloogle-web☆18May 30, 2021Updated 4 years ago