VictorTaelin / formality-agda-lib-legacyView external linksLinks
Agda libraries relevant to Moonad
☆14Apr 2, 2019Updated 6 years ago
Alternatives and similar repositories for formality-agda-lib-legacy
Users that are interested in formality-agda-lib-legacy are comparing it to the libraries listed below
Sorting:
- Minimal, efficient proof language☆14May 28, 2019Updated 6 years ago
- Composable Concurrency Abstractions for JavaScript.☆18Aug 2, 2024Updated last year
- Generalized Convolution and Efficient Language Recognition☆18Jul 20, 2019Updated 6 years ago
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆17Jun 17, 2019Updated 6 years ago
- Calculus of Constructions☆17Jul 17, 2019Updated 6 years ago
- Moonad: a Peer-to-Peer Operating System☆101Dec 7, 2019Updated 6 years ago
- Specification of the Formality proof and programming language☆41Feb 5, 2023Updated 3 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆85Jul 11, 2016Updated 9 years ago
- Facebook scraper CLI using pupeteer☆20Jul 11, 2023Updated 2 years ago
- [outdated] A moddable MOBA in Formality☆96Jan 7, 2023Updated 3 years ago
- A Peer-to-Peer Operating System☆36Mar 17, 2019Updated 6 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆37Mar 17, 2025Updated 11 months ago
- A showcase of interesting code and proof developments in Cedille☆36Jun 10, 2025Updated 8 months ago
- An implementation of the Formality language in JavaScript☆71Aug 27, 2019Updated 6 years ago
- Implementing grep in Agda☆33Jan 11, 2021Updated 5 years ago
- An extended version of QFileSystemModel with access to parent directory☆12Feb 27, 2019Updated 6 years ago
- Isomorphic Reasoning: Counting with Types☆38Jun 5, 2020Updated 5 years ago
- LLVM port to the GBZ80 CPU☆37Oct 20, 2018Updated 7 years ago
- Share the love of Nix [maintainer=@zimbatm]☆51May 14, 2024Updated last year
- Rust implementation of the Ulrich Drepper's "What every programmer should know about memory"☆13Aug 24, 2023Updated 2 years ago
- A numerical orbital propagator written in Python.☆10Sep 25, 2021Updated 4 years ago
- the best Space/Roguelike/Bomberman hybrid on the market!☆15Jun 8, 2025Updated 8 months ago
- python ZX-Spectrum tools☆11Aug 12, 2015Updated 10 years ago
- Tech Writing bot at your service 🤖☆13Jan 6, 2023Updated 3 years ago
- A new language for optimization☆13May 17, 2021Updated 4 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Attribute macro that generates negated versions of`is_something` functions☆11Sep 4, 2021Updated 4 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- A small Lisp implementation in Go☆10Jan 27, 2022Updated 4 years ago
- As palestras da Weekomp de 2018 ocorrida no IFCE - Fortaleza. As palestras estão em formato PDF e em links contidos em arquivos TXT☆10Oct 30, 2018Updated 7 years ago
- ECSS Services for UPSat☆12Dec 17, 2018Updated 7 years ago
- Toy implementation of Green Threads based on https://cfsamson.gitbook.io/green-threads-explained-in-200-lines-of-rust☆10Jul 24, 2020Updated 5 years ago
- Discover Unity Elements - your periodic table of essential tips and resources for Unity game developers. From coding fundamentals to adva…☆11Oct 18, 2024Updated last year
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Theoretical Next Gen™ automation for Haskell.org (DO NOT USE)☆20Nov 26, 2021Updated 4 years ago
- a simple and human readable binary diff format and implementation☆20Feb 8, 2024Updated 2 years ago