nyusemantics / LambdaCalculatorPublicView external linksLinks
☆18Aug 30, 2022Updated 3 years ago
Alternatives and similar repositories for LambdaCalculatorPublic
Users that are interested in LambdaCalculatorPublic are comparing it to the libraries listed below
Sorting:
- ☆14Sep 2, 2025Updated 5 months ago
- A simple scala-like dependent type programming language☆23Apr 18, 2025Updated 9 months ago
- Let's rethink how we interact with Agda☆18Nov 18, 2022Updated 3 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- ☆22Feb 13, 2024Updated 2 years ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 7 months ago
- Automatically exported from code.google.com/p/andrews-deal☆10Sep 16, 2022Updated 3 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Feb 7, 2026Updated last week
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆11Feb 5, 2026Updated last week
- A repository to review the main concepts about Functional Programming with Java☆10Feb 4, 2026Updated last week
- ☆11Aug 23, 2023Updated 2 years ago
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 5 months ago
- Library for distance measurements☆12Mar 1, 2023Updated 2 years ago
- Cat photo storage☆14May 26, 2024Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆41Oct 30, 2025Updated 3 months ago
- Solutions to Modern Compiler Implementation in ML 🐯☆10May 24, 2017Updated 8 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- Rime TUPA input schema | rime 切韻拼音輸入方案☆46Nov 22, 2024Updated last year
- Landing Page☆11Jan 19, 2026Updated 3 weeks ago
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆12Apr 7, 2025Updated 10 months ago
- ℹ️ Index-related functions for lists☆12Nov 15, 2021Updated 4 years ago
- Slicing git repositories.☆22May 21, 2018Updated 7 years ago
- Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.☆13Jun 27, 2012Updated 13 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 11 years ago
- An sbt plugin to manage JS dependencies in Scala.js, in the good old script style☆12Dec 1, 2021Updated 4 years ago
- A computer built as a cellular automation pattern☆14May 13, 2023Updated 2 years ago
- ☆14Oct 30, 2024Updated last year
- ☆15Feb 1, 2026Updated last week
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 10 months ago
- Selenium RC client for Racket.☆10Jan 19, 2011Updated 15 years ago
- Share Small Bits Of Knowledge With Your Team, daily.☆11Aug 27, 2016Updated 9 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- A BrainFuck interpreter written for Lua 5.2, with two additional innovative syntaxes and quine support☆13Mar 31, 2017Updated 8 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 4 months ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- 🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell☆13Mar 4, 2025Updated 11 months ago
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts☆11Mar 13, 2023Updated 2 years ago