Guide elucidating Lambda Calculus
☆16Sep 3, 2021Updated 4 years ago
Alternatives and similar repositories for lambda-calculus
Users that are interested in lambda-calculus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repo contains a sample configuration that allows an fsharp project w/ sql provider to 1. build on CI and 2. build a docker image☆10Dec 1, 2021Updated 4 years ago
- Open source F# mathematical logic library.☆12May 16, 2022Updated 3 years ago
- Emacs Lisp network-level interface to the PostgreSQL database☆40Updated this week
- TinyVG example files☆14Dec 18, 2021Updated 4 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A monadic web scraping library☆17Oct 10, 2018Updated 7 years ago
- High-ish performance, declarative, super minimal DOM tools for HTML & SVG☆12Jul 22, 2021Updated 4 years ago
- A proof-of-concept demo of Bolero serverless SPA running on GitHub Pages using WebAssembly☆14Mar 24, 2021Updated 5 years ago
- Collection of words to help with writing high level applications with Forth language.☆12Jun 27, 2021Updated 4 years ago
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- provides a nice, portable way to capture user-interrupt signals in lisp☆24Apr 26, 2024Updated last year
- Collection of optimization-related utilities☆33Jul 30, 2024Updated last year
- A little just-in-time compiler thing☆18Sep 28, 2018Updated 7 years ago
- Processing code to implement John Fairfield's Spellcaster☆10Jan 5, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- An exploration of possibilities with the bevy_mod_scripting crate☆12Apr 8, 2024Updated 2 years ago
- Postscript Virtual Machine using Lua☆16Jul 28, 2020Updated 5 years ago
- Demo of obsidiantools Python package (for Binder)☆13Jul 8, 2025Updated 9 months ago
- ☆30Dec 10, 2021Updated 4 years ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- Shen KLambda to KLVM translator.☆31Jan 4, 2016Updated 10 years ago
- ☆12Oct 28, 2022Updated 3 years ago
- An example application for the Oculus Quest, written in Zig☆36Nov 24, 2024Updated last year
- MLIR backend for Nx☆14May 24, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- GPU-based interaction nets evaluator☆18Nov 30, 2011Updated 14 years ago
- a x86_64 forth implemented in forth☆13Mar 19, 2016Updated 10 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- cmus status notification tool written in Rust, which can be easily configured and used for different purposes. It provides notifications …☆14Mar 13, 2026Updated 3 weeks ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆15Oct 1, 2021Updated 4 years ago
- example terragrunt and terraspace projects to explain difference between reusable modules☆10Jul 27, 2021Updated 4 years ago
- Dynamic tracing tests and utilities for Erlang/OTP☆17Jul 31, 2014Updated 11 years ago
- A web-based document reader.☆16Nov 15, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- My 1st place solution to the Kaggle Invasive Species Monitoring Competition☆10Aug 17, 2017Updated 8 years ago
- ☆48Sep 4, 2022Updated 3 years ago
- A Fennel REPL that runs in Neovim☆26Dec 26, 2023Updated 2 years ago
- A Ruby implementation of the centered interval tree☆48Jul 18, 2022Updated 3 years ago
- where the .files bloom☆19Oct 10, 2022Updated 3 years ago
- NATS cluster on Kubernetes with Java producer and Go subscriber☆10May 2, 2018Updated 7 years ago
- A Vim-Powered and Roam Research-Inspired Wiki☆19Feb 19, 2024Updated 2 years ago