Glavo / kala-langView external linksLinks
☆12Aug 19, 2021Updated 4 years ago
Alternatives and similar repositories for kala-lang
Users that are interested in kala-lang are comparing it to the libraries listed below
Sorting:
- Modular Apache commons compress☆11Dec 9, 2024Updated last year
- ☆11Sep 15, 2024Updated last year
- A powerful, easy-to-use, modern Java core library for the future☆63Jan 17, 2026Updated 3 weeks ago
- Luogu plugin on IntelliJ Platform☆10Jan 6, 2020Updated 6 years ago
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated last year
- ☆13Jun 2, 2025Updated 8 months ago
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- ☆20Jul 7, 2021Updated 4 years ago
- The formal development repository for Pr47☆21Feb 21, 2023Updated 2 years ago
- ☆16Aug 2, 2023Updated 2 years ago
- ObjectPropertyDelegate for Kotlin class properties & functions.☆10Apr 6, 2020Updated 5 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- an implementation of Observational Type Theory (OTT) and more☆30Oct 15, 2022Updated 3 years ago
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 10 months ago
- Next-GEN Confguration Template Generation Language☆12Jul 21, 2022Updated 3 years ago
- type-system, revised unification algorithm and runtime time representations☆14Dec 12, 2019Updated 6 years ago
- My Agda blog/lab/playground☆12Updated this week
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- The libGDX Box2D Wrapper Extension☆11May 12, 2023Updated 2 years ago
- 试图用 OpenGL 3.3 画个可爱（？大概吧）的小机器人。☆17Nov 27, 2024Updated last year
- Anti-Indulged for IntelliJ Platform (AI4IJ)☆26Jan 27, 2021Updated 5 years ago
- Deprecated☆39Nov 2, 2025Updated 3 months ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated last month
- IntelliJ plugin for several experimental programming languages here☆36Oct 18, 2021Updated 4 years ago
- 第三次重构!☆16Dec 22, 2020Updated 5 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated 10 months ago
- A formalization of the theory behind the mugen library☆19Jun 24, 2024Updated last year
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- The 峨眉 (EMei) JIT/AOT backend framework.☆18Nov 19, 2024Updated last year
- A proof assistant and a dependently-typed language☆348Jan 25, 2026Updated 3 weeks ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- How many interface{} are there in your project?☆16Aug 2, 2021Updated 4 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- Prune is a constraint logic programming language with branching heuristic.☆33Feb 4, 2026Updated last week
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Feb 17, 2023Updated 2 years ago