my attempt at making sense of lambda calculus
☆19Oct 6, 2022Updated 3 years ago
Alternatives and similar repositories for lambda-js
Users that are interested in lambda-js are comparing it to the libraries listed below
Sorting:
- Asterism is a CLI that provides a set of tools to build a Lyra instance from your favorite database.☆11Mar 13, 2026Updated last week
- A workshop about GraphQL with mercurius☆20Updated this week
- CSRF utilities for fastify☆17Mar 1, 2026Updated 2 weeks ago
- Official repository of Fallout 13 [Release]☆11Dec 5, 2023Updated 2 years ago
- ☆43Mar 6, 2023Updated 3 years ago
- sjs - Self JavaScript☆13Apr 7, 2025Updated 11 months ago
- ☆22Updated this week
- Recreation of the classic arcade game Donkey Kong for the Ti-84 Plus CE☆15May 23, 2019Updated 6 years ago
- A plugin to rapidly generate CRUD routes for any entity☆23Feb 18, 2026Updated last month
- Repository dedicato all'onboarding di nuove librerie/SDK relative alla verifica del DCC☆14Jun 13, 2022Updated 3 years ago
- A Basic dialect similar to the street Basic of 70s microcomputers.☆14Sep 15, 2025Updated 6 months ago
- The Nuvolaris CLI, an all-in-one tool to do all things Nuvolaris☆11Mar 9, 2023Updated 3 years ago
- A GNOME extension that displays the number of ambulances out in Lombardy, Italy☆16May 17, 2023Updated 2 years ago
- EU Digital COVID Certificate's documentation☆16Jan 25, 2023Updated 3 years ago
- A learning path composed of projects to learn programming basics☆22Sep 21, 2024Updated last year
- A node.js module to easily create mongodb connection strings using configuration objects☆30Mar 4, 2023Updated 3 years ago
- 🧪 This is not real code☆13Aug 5, 2022Updated 3 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- zero-dependency, lightweight finite state machine in Typescript☆77Oct 6, 2025Updated 5 months ago
- C program to talk via serial to MicroPython powered ESP32 boards☆38Jan 28, 2024Updated 2 years ago
- Specification for efficient, compact binary format for serializing data structures with extensible typing☆13Jun 4, 2019Updated 6 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- WebSocket server implementation of OCaml☆14May 14, 2019Updated 6 years ago
- Templating like the other ones, but not at all like the other ones.☆11May 17, 2017Updated 8 years ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- Mirrored from https://salsa.debian.org/qa/debsources☆26Aug 13, 2025Updated 7 months ago
- A few Clio examples☆14Oct 11, 2021Updated 4 years ago
- 🔖 Better Haskell documentation.☆17Sep 11, 2020Updated 5 years ago
- Go stemmers generated by the Snowball project☆24Sep 6, 2020Updated 5 years ago
- A library for generating RSS 2.0 feeds.☆18Jan 6, 2026Updated 2 months ago
- ☆16Dec 2, 2011Updated 14 years ago
- React.js components for a faithful Windows 95 aesthetic☆10Nov 4, 2019Updated 6 years ago
- Communicate with Erlang node from Haskell☆13Mar 14, 2021Updated 5 years ago
- Cypher language syntax highlighting plugin for highlight.js☆11Mar 28, 2025Updated 11 months ago
- Variable sized bitfield that allows you to quickly iterate over bits☆35Feb 1, 2019Updated 7 years ago
- A starter for a blog powered by Gatsby and ReasonML☆14Jan 11, 2023Updated 3 years ago
- Apache OpenWhisk Runtime Go supports Apache OpenWhisk functions written in Go☆45Aug 5, 2025Updated 7 months ago
- Install and use Apache Unomi on Ubuntu 18☆11Jul 19, 2022Updated 3 years ago
- Utility that finds the N most frequent colors in a picture, approximated to CSS3 color names☆15Oct 11, 2018Updated 7 years ago