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:
- Open source F# mathematical logic library.☆13May 16, 2022Updated 4 years ago
- Emacs Lisp network-level interface to the PostgreSQL database☆44Jun 15, 2026Updated 2 weeks ago
- Akka.NET with F# - Getting functional with Reactive systems☆10Oct 16, 2018Updated 7 years ago
- TinyVG example files☆15Dec 18, 2021Updated 4 years ago
- An example web application using Saturn, F#, and onion architecture☆14Mar 27, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- European Lisp Symposium Website Tools☆19May 13, 2026Updated last month
- F# version of Scala's ZIO Environment☆18Aug 13, 2019Updated 6 years ago
- Websocket client for various market data providers☆10Jul 14, 2021Updated 4 years ago
- raylib + LuaJIT + Yuescript☆12Mar 1, 2022Updated 4 years ago
- A proof-of-concept demo of Bolero serverless SPA running on GitHub Pages using WebAssembly☆14Mar 24, 2021Updated 5 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 2 years ago
- Rust implementation of Viktor Chlumský's msdfgen utility☆10Dec 13, 2018Updated 7 years ago
- Collection of optimization-related utilities☆34Jul 30, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Charting tool for financial data☆15Jul 4, 2022Updated 3 years ago
- A little just-in-time compiler thing☆18Sep 28, 2018Updated 7 years ago
- Implementation of binary heaps data structure in pure Lua☆21Sep 20, 2013Updated 12 years ago
- Repository of free educational resources for learning artificial intelligence☆13Jan 24, 2022Updated 4 years ago
- Processing code to implement John Fairfield's Spellcaster☆10Jan 5, 2016Updated 10 years ago
- Neural machine translation with Recurrent Deterministic Policy Gradient☆10Aug 18, 2016Updated 9 years ago
- 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
- Sample reactive Blog and Documentation website with Phoenix LiveView that adapts immediately to Markdown files and folders, powered by Pa…☆16May 3, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Demo of obsidiantools Python package (for Binder)☆13Jul 8, 2025Updated 11 months ago
- From Bitbucket -- A blog engine in Forth.☆17Jan 18, 2023Updated 3 years ago
- Recipes for training OpenNMT systems☆14Jul 26, 2017Updated 8 years ago
- secure database access library☆21Apr 20, 2025Updated last year
- A programming language☆14Jan 24, 2015Updated 11 years ago
- Hardware Design/Visualization/Simulation/RTLGeneration Framework☆18Jun 20, 2026Updated last week
- Shen KLambda to KLVM translator.☆31Jan 4, 2016Updated 10 years ago
- ☆12Oct 28, 2022Updated 3 years ago
- A key system for hierarchical deterministic (HD / BIP32) keychains☆15Apr 16, 2016Updated 10 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.
- The core OCaml system: compilers, runtime system, base libraries☆15Aug 21, 2024Updated last year
- LaTeX document to speech converter using AWS Polly☆14Nov 22, 2017Updated 8 years ago
- GPU-based interaction nets evaluator☆18Nov 30, 2011Updated 14 years ago
- ECE 264 Advanced C Programming☆17Apr 10, 2019Updated 7 years ago
- annotated bibliography on approximate computing☆10Jan 16, 2016Updated 10 years ago
- Build, Publish & Deploy Elixir Infrastructure to the Cloud with Docker & Terraform☆22Mar 27, 2023Updated 3 years ago
- Python application, generating parallel corpus for any language pairs, can be used for training nmt (Neural Machine Translation) systems☆12Dec 8, 2022Updated 3 years ago