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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- generic javascript socket API☆57Jul 27, 2009Updated 16 years ago
- A distributed key-value store based on replicated LSM-Trees☆10May 18, 2017Updated 8 years ago
- A complete, production-quality Java parser for the SQL language.☆10Aug 25, 2014Updated 11 years ago
- RDF Graph Database (http://grid.hust.edu.cn/triplebit/)☆11Sep 19, 2014Updated 11 years ago
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- In which unsupervised learning emerges from spatial-temporal properties of neurons.☆12Nov 29, 2016Updated 9 years ago
- Scrypt opencl kernel written in AMD GCN ISA assembly language☆20Oct 9, 2014Updated 11 years ago
- ☆12Jul 8, 2019Updated 6 years ago
- My fork of the buildroot system☆17Oct 24, 2014Updated 11 years ago
- secret project☆17Mar 14, 2018Updated 8 years ago
- Efficient and customisable compression of short strings☆48Aug 15, 2016Updated 9 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
- A self-contained repository for the paper Type and Scope Preserving Semantics☆23Feb 2, 2019Updated 7 years ago
- WebAssembly AST Forth☆20Nov 1, 2016Updated 9 years ago
- Common Lisp Structure Editor☆24Nov 9, 2024Updated last year
- STLC-related snippets in Agda☆16May 1, 2013Updated 12 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
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆53Jul 24, 2019Updated 6 years ago
- 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
- The original Edinburgh LCF.☆34Oct 21, 2016Updated 9 years ago
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- Microsoft Service Fabric extensions.☆19Nov 14, 2020Updated 5 years ago
- Simply typed lambda calculus in cubical agda☆22Feb 22, 2020Updated 6 years ago
- Software Transactional Objects☆21Feb 9, 2018Updated 8 years ago
- ☆17Oct 16, 2018Updated 7 years ago
- Online feature-extraction and classification algorithm that learns representations of input patterns.☆31Feb 26, 2017Updated 9 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- Specification of Agda.☆25Jan 13, 2019Updated 7 years ago
- Pure Type Systems for Functional Programming☆31Nov 21, 2020Updated 5 years ago
- A pure subset of Prolog, implemented in Haskell☆31Jul 19, 2013Updated 12 years ago
- C++11 library for many-sorted logics☆39Nov 21, 2016Updated 9 years ago
- MixML prototype interpreter☆27Dec 13, 2019Updated 6 years ago
- ☆10May 3, 2017Updated 8 years ago