A λ-calculus shell (because I love writing shells).
☆11Jan 2, 2020Updated 6 years ago
Alternatives and similar repositories for lambash
Users that are interested in lambash are comparing it to the libraries listed below
Sorting:
- This is a logic-based database that can do inferences based on known facts in addition to SQL type queries. Rules are introduced through …☆22Feb 3, 2024Updated 2 years ago
- Coding is a team sport.☆12Feb 5, 2019Updated 7 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆85May 6, 2024Updated last year
- Utility to convert ZIPVFS compressed SQLITE databases to a regular SQLITE file.☆11Nov 12, 2018Updated 7 years ago
- ☆10Nov 18, 2016Updated 9 years ago
- 📚 The Bayes Way 🎓☆33Updated this week
- Build and push images, patch and deploy your Massdriver applications using GitHub Actions.☆12Dec 17, 2025Updated 2 months ago
- A database globally replicated via Epidemic Broadcast Trees and lasp-lang’s Partisan. An offspring of Plumtree and Partisan, a descendant…☆45Feb 17, 2026Updated last week
- Filter the Noise, Focus on What Matters in WhatsApp.☆16Updated this week
- Git O'Clock : A git toolbox for use in terminal.☆10Mar 5, 2023Updated 2 years ago
- These are the official datasets used on the Medicare.gov Hospital Compare Website provided by the Centers for Medicare & Medicaid Service…☆10Mar 12, 2018Updated 7 years ago
- Monster Hunter Generations Ultimate Cope Rebalance Mod☆12Nov 3, 2021Updated 4 years ago
- Library to maintain a forking queue of Cucumber processes☆16Oct 17, 2019Updated 6 years ago
- A graphical tool for viewing stdout as a spreadsheet.☆10Sep 7, 2021Updated 4 years ago
- Use SQL to query MongoDB☆15Mar 4, 2023Updated 2 years ago
- The repository include Java,python,architecture etc.☆10Feb 2, 2024Updated 2 years ago
- 🌈Make your debug life a little bit more colorful☆10Jan 2, 2020Updated 6 years ago
- dockerized build of Kicad 5 with Python scripting support☆10Oct 25, 2018Updated 7 years ago
- Utility to help search within a set of jupyter notebooks☆16Dec 1, 2019Updated 6 years ago
- Fork of Will Glozer's erlang postgresql pool server, so it can be maintained and polished.☆31Apr 23, 2010Updated 15 years ago
- TIS-100 CPU in VHDL☆12Jul 13, 2015Updated 10 years ago
- An admonitions React component, ported from remarkable-admonitions. Perfect for Docusaurus v2 and other React-based doc generators☆11Sep 15, 2020Updated 5 years ago
- If you are trying to demo some project and you need a demo project to run on it, you can build it yourself or just use one of these.☆11Feb 25, 2022Updated 4 years ago
- A web crawler - my first Elixir project☆13Jul 8, 2015Updated 10 years ago
- nosqlapi is a library for building standard NOSQL python libraries.☆12Apr 5, 2022Updated 3 years ago
- A Basic Geometric library for Type Design☆11Jul 1, 2024Updated last year
- ☆11Oct 25, 2019Updated 6 years ago
- an implementation of Evolution for a course on Sw Dev☆10May 9, 2016Updated 9 years ago
- A simple script for rooted Android devices to catch Snaps.☆11Jan 22, 2022Updated 4 years ago
- A minisite for Shantell Sans, from Shantell Martin, which is a marker-style font built for creative expression, typographic play, and ani…☆11Dec 16, 2024Updated last year
- Capsule Network for classification of Fashion-MNIST dataset.☆10Nov 6, 2017Updated 8 years ago
- opt-in runtime introspection☆12Jul 29, 2022Updated 3 years ago
- Mirror of my blog post on "Debugging Node JS apps with Docker"☆12Dec 8, 2022Updated 3 years ago
- ☆13Mar 6, 2023Updated 2 years ago
- Erlang Network Monitor☆11Apr 22, 2016Updated 9 years ago
- My PwSH prompt☆11Feb 27, 2025Updated last year
- I like to learn new things☆10Updated this week
- Implement Some Handy JavaScript Functions From The Ground Up☆12Mar 4, 2023Updated 2 years ago
- Make Beer. Chill Beer. Drink Beer. Repeat☆11Feb 16, 2017Updated 9 years ago