Dealing with Flags and Options
☆13Sep 10, 2021Updated 4 years ago
Alternatives and similar repositories for agdARGS
Users that are interested in agdARGS are comparing it to the libraries listed below
Sorting:
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- generic javascript socket API☆57Jul 27, 2009Updated 16 years ago
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- A distributed key-value store based on replicated LSM-Trees☆10May 18, 2017Updated 8 years ago
- ☆12Jul 8, 2019Updated 6 years ago
- RDF Graph Database (http://grid.hust.edu.cn/triplebit/)☆11Sep 19, 2014Updated 11 years ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆23Feb 2, 2019Updated 7 years ago
- A complete, production-quality Java parser for the SQL language.☆10Aug 25, 2014Updated 11 years ago
- ☆17Oct 16, 2018Updated 7 years ago
- STLC-related snippets in Agda☆16May 1, 2013Updated 12 years ago
- In which unsupervised learning emerges from spatial-temporal properties of neurons.☆12Nov 29, 2016Updated 9 years ago
- The original Edinburgh LCF.☆34Oct 21, 2016Updated 9 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- being the emperor of Mongo, but also a verb☆15Dec 25, 2018Updated 7 years ago
- Experiments with preordered set models of (directed) type theories☆15Jul 10, 2019Updated 6 years ago
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 years ago
- Scrypt opencl kernel written in AMD GCN ISA assembly language☆20Oct 9, 2014Updated 11 years ago
- secret project☆17Mar 14, 2018Updated 7 years ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- Simply typed lambda calculus in cubical agda☆22Feb 22, 2020Updated 6 years ago
- A Model of Relationally Parametric System F in Coq☆22May 27, 2015Updated 10 years ago
- Compiler backend for generating Scheme code☆28Nov 27, 2025Updated 3 months ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 3 months ago
- My fork of the buildroot system☆17Oct 24, 2014Updated 11 years ago
- A TACtic library for Agda☆51Sep 14, 2024Updated last year
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated 8 months ago
- Microsoft Service Fabric extensions.☆19Nov 14, 2020Updated 5 years ago
- Specification of Agda.☆25Jan 13, 2019Updated 7 years ago
- MixML prototype interpreter☆27Dec 13, 2019Updated 6 years ago
- Correctness of normalization-by-evaluation for STLC☆24Oct 1, 2019Updated 6 years ago
- Software Transactional Objects☆21Feb 9, 2018Updated 8 years ago
- Web based opetopic editor☆36Oct 21, 2024Updated last year
- A common lisp object / relational mapping library, the goal of which, is to generate common lisp objects from a running database schema☆32Jan 4, 2016Updated 10 years ago
- A high-level description of a machine learning algorithm that learns to write HTML and CSS code.☆13Nov 28, 2016Updated 9 years ago
- Work on modular implicits☆25Oct 23, 2018Updated 7 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago