Agda libraries relevant to Moonad
☆15Apr 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:
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- Minimal, efficient proof language☆15May 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
- Calculus of Constructions☆17Jul 17, 2019Updated 6 years ago
- Moonad: a Peer-to-Peer Operating System☆101Dec 7, 2019Updated 6 years ago
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆18Jun 17, 2019Updated 6 years ago
- Specification of the Formality proof and programming language☆42Feb 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☆97Jan 7, 2023Updated 3 years ago
- A Peer-to-Peer Operating System☆37Mar 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 7 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
- 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 9 months ago
- Share the love of Nix [maintainer=@zimbatm]☆51May 14, 2024Updated last year
- python ZX-Spectrum tools☆11Aug 12, 2015Updated 10 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Clion + OpenOCD + My Plugin + STM32F4-Discovery example☆10Jul 5, 2018Updated 7 years ago
- A tool to summarize and analyze graph-node query logs☆11Mar 22, 2022Updated 3 years ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 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
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Orchestrator managing Erlang containers and routing Erlang Distribution through itself.☆13Dec 19, 2025Updated 2 months ago
- Attribute macro that generates negated versions of`is_something` functions☆11Sep 4, 2021Updated 4 years ago
- Tech Writing bot at your service 🤖☆13Jan 6, 2023Updated 3 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- My prototype of a USB-connected joystick that uses HID protocol, written in C using Atmega microcontrollers.☆10Nov 5, 2022Updated 3 years ago
- Rust implementation of the Ulrich Drepper's "What every programmer should know about memory"☆13Aug 24, 2023Updated 2 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