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 10 months ago
Alternatives and similar repositories for nlambda
Users that are interested in nlambda are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- The Warp academy - a set of tutorials that introduce into smart contracts development in Warp☆17Apr 27, 2024Updated 2 years ago
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 3 years ago
- Generate ReasonReact Pages from Markdown☆17Jul 27, 2018Updated 8 years ago
- OCaml support for Flycheck using Merlin☆21Aug 10, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆12Sep 22, 2020Updated 6 years ago
- ☆12Mar 4, 2024Updated 2 years ago
- A library to store metadata of relational databases including the schema, statistics, and integrity constraints.☆25Aug 7, 2018Updated 8 years ago
- Materials for learning Haskell☆13Sep 22, 2022Updated 4 years ago
- Website and Docs for Aiken☆15Oct 2, 2026Updated last month
- Personal finances and retirement planning simulator☆10Updated this week
- Base64 encoding for Aztec's noir language☆16Jan 3, 2024Updated 2 years ago
- JavaScript solutions to advent of code challenges☆14Dec 26, 2017Updated 8 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆26May 16, 2025Updated last year
- A Lean library for descriptive complexity: NP-completeness and the polynomial hierarchy by first-order reductions, stronger than polynomi…☆16Updated this week
- Yet Another Software Language Repository☆19Oct 28, 2026Updated 2 weeks ago
- 📶 - Elm style FRP library for Haskell☆16Aug 8, 2018Updated 8 years ago
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 10 years ago
- Partition refinement☆16Oct 4, 2026Updated last month
- code for the book Make Your Own Algorithmic Art☆14Aug 1, 2019Updated 7 years ago
- Bit-level codec library☆17Apr 26, 2023Updated 3 years ago
- ZkMarek is an educational project created by ethmarek, as an exercise to learn cryptography, with focus on understanding Plonk.☆15Jul 2, 2025Updated last year
- 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.
- A visual music canvas☆11May 1, 2018Updated 8 years ago
- ☆18Sep 30, 2025Updated last year
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆12Updated this week
- An experimental Agda kernel for Jupyter☆25Mar 9, 2022Updated 4 years ago
- A tiny Java helper for Windows for emulating keyboard via scan codes.☆12Sep 3, 2021Updated 5 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 8 years ago
- A library to easily use servant and GDP together to build web apis with a lot of knowledge in the types☆10Sep 15, 2021Updated 5 years ago
- Refactorio is a tool with which you build and maintain software.☆19Jun 3, 2024Updated 2 years ago
- For extracting information from invoices and purchase orders☆21Aug 19, 2020Updated 6 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.
- A meta-gateway for Arweave SmartWeave interaction transactions.☆37Mar 28, 2025Updated last year
- Mock framework for testing in Haskell☆24Sep 7, 2026Updated 2 months ago
- Kotlin workshops materials☆12May 20, 2022Updated 4 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆33Mar 27, 2020Updated 6 years ago
- An implementation of the actor model in Haskell using STM☆17Sep 24, 2026Updated last month
- This project has been moved to https://gitlab.com/cloogle/cloogle-web☆18May 30, 2021Updated 5 years ago
- An interpreter for Gödel's System T☆14Apr 17, 2017Updated 9 years ago
Are these results useful?