☆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:
- Templates etc. for creating experiments using Ibex Farm.☆11Jul 21, 2018Updated 7 years ago
- ☆14Sep 2, 2025Updated 6 months ago
- Let's rethink how we interact with Agda☆18Nov 18, 2022Updated 3 years ago
- A simple scala-like dependent type programming language☆23Apr 18, 2025Updated 10 months ago
- A LaTeX package to typeset and index linguistic gloss abbreviations☆16May 22, 2022Updated 3 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- github action for running hlint☆19Feb 23, 2019Updated 7 years ago
- ☆22Feb 13, 2024Updated 2 years ago
- Regression Modeling for Linguistic Data book: v. 1.1☆25Oct 6, 2022Updated 3 years ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated last month
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 8 months ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Feb 7, 2025Updated last year
- 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…☆40Updated this week
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- The online collaborative dictionary for the constructed language Toaq.☆14Feb 18, 2026Updated 2 weeks ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆41Feb 26, 2026Updated last week
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 6 months ago
- Library for distance measurements☆12Mar 1, 2023Updated 3 years ago
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆11Feb 11, 2026Updated 3 weeks ago
- A repository to review the main concepts about Functional Programming with Java☆10Updated this week
- Solutions to Modern Compiler Implementation in ML 🐯☆10May 24, 2017Updated 8 years ago
- Cat photo storage☆14May 26, 2024Updated last year
- ☆11Aug 23, 2023Updated 2 years ago
- Typst Package to typeset inference rule☆58Feb 21, 2026Updated last week
- Rime TUPA input schema | rime 切韻拼音輸入方案☆46Feb 12, 2026Updated 3 weeks ago
- Class materials, homeworks and videos for probation preparation.☆19Feb 3, 2026Updated last month
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- HKU Moodle client that helps fetch deadlines, set reminders, view courses and so on, renovated and rewritten in Flutter.☆14Feb 8, 2025Updated last year
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- A Brainfuck interpreter written in Rust and compiled to WebAssembly☆10Dec 4, 2017Updated 8 years ago
- Implementation of Pie, following The Little Typer☆19Updated this week
- An sbt plugin to manage JS dependencies in Scala.js, in the good old script style☆12Dec 1, 2021Updated 4 years ago
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 3 years ago
- Pure-Scala implementation of HOCON, suitable for cross-platform use☆10May 29, 2017Updated 8 years ago
- ☆11Mar 20, 2025Updated 11 months ago
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆12Apr 7, 2025Updated 11 months ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago