Guide elucidating Lambda Calculus
☆16Sep 3, 2021Updated 5 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:
- Automatic dependency recompilation for Mix.install/2☆23Mar 10, 2024Updated 2 years ago
- ☆10Sep 7, 2022Updated 4 years ago
- European Lisp Symposium Website Tools☆19May 13, 2026Updated 5 months ago
- scraps and bits and bobs☆14Jul 28, 2022Updated 4 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆14Dec 16, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆12Sep 27, 2017Updated 9 years ago
- Scripts and Dockerfiles to build Collabora Online Docker image☆10Nov 22, 2020Updated 5 years ago
- provides a nice, portable way to capture user-interrupt signals in lisp☆24Apr 26, 2024Updated 2 years ago
- "Strand" is an open-source implementation of the identically named parallel Prolog dialect as described in the book "Strand: New Concepts…☆14Apr 27, 2021Updated 5 years ago
- Collection of words to help with writing high level applications with Forth language.☆12Jun 27, 2021Updated 5 years ago
- Rust implementation of Viktor Chlumský's msdfgen utility☆10Dec 13, 2018Updated 7 years ago
- Cross-platform Python client for the CodeReef.ai portal to manage portable workflows, reusable automation actions, software detection plu…☆11Mar 27, 2020Updated 6 years ago
- [experimental in development] Erlang-first Hegel property-testing SDK with Elixir and Gleam facades☆19Oct 18, 2026Updated last week
- A new language for optimization☆13May 17, 2021Updated 5 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 little just-in-time compiler thing☆18Sep 28, 2018Updated 8 years ago
- Ruby code rewriter☆29Oct 7, 2026Updated 3 weeks ago
- Neural machine translation with Recurrent Deterministic Policy Gradient☆10Aug 18, 2016Updated 10 years ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- A terminal for LÖVE games.☆15Apr 16, 2014Updated 12 years ago
- LLVM-based high-level-compiler (HLC) that generates HSAIL. The Stable version includes optimizations, atomics, and is provided in binary…☆14Feb 3, 2015Updated 11 years ago
- 操作系统课程的Minix3源 码解读部分材料和报告。☆10Mar 16, 2013Updated 13 years ago
- Hardware Design/Visualization/Simulation/RTLGeneration Framework☆18Oct 8, 2026Updated 3 weeks ago
- TSAR (Traits Static AnalyzeR)☆14May 3, 2024Updated 2 years ago
- AI Agents on 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.
- Recipes for training OpenNMT systems☆14Jul 26, 2017Updated 9 years ago
- My CV☆13May 18, 2026Updated 5 months ago
- Get up and running with modifications to Gorilla Tag to enhance your experience. Reject humanity, return to monke.☆11Feb 24, 2025Updated last year
- ☆14Oct 23, 2018Updated 8 years ago
- GPU-based interaction nets evaluator☆19Nov 30, 2011Updated 14 years ago
- Charting tool for financial data☆15Jul 4, 2022Updated 4 years ago
- A SKI combinators interpreter written in assembly☆21Jul 25, 2020Updated 6 years ago
- ☆12Oct 28, 2022Updated 4 years ago
- ☆10Jan 1, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- 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
- ☆11Dec 3, 2020Updated 5 years ago
- A key system for hierarchical deterministic (HD / BIP32) keychains☆15Apr 16, 2016Updated 10 years ago
- RISC-V Soft CPU Security Contest by Thales and Microchip Technology☆12Jul 29, 2019Updated 7 years ago
- Hi Spring fans! In this installment of Spring Tips we look at the just-landed and new support for reactive transactions☆12May 21, 2019Updated 7 years ago
- Launch NMT tasks on the cloud☆13May 8, 2023Updated 3 years ago