matthewbauer / eu4-parserLinks
some tools to parse files from the clausewitz engine
☆14Updated 8 years ago
Alternatives and similar repositories for eu4-parser
Users that are interested in eu4-parser are comparing it to the libraries listed below
Sorting:
- ☆22Updated 9 years ago
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆32Updated last year
- The proof of undecidability of halting problem, using the model -- WHILE language.☆21Updated 5 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Updated 3 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Updated 8 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 7 years ago
- Self-contained repository for the eponymous paper☆30Updated 7 years ago
- A repository for the material of my course on lambda-calculus and categories☆44Updated 5 years ago
- Congruence Closure Procedure in Cubical Agda☆19Updated 5 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆36Updated 10 months ago
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Updated 8 years ago
- Formalizations of strong normalization proofs☆35Updated 6 years ago
- handouts and notes from the 2017 edition of the summer school☆39Updated 8 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Updated 2 years ago
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Updated 10 years ago
- Mtac in Agda☆29Updated 4 years ago
- Implementation of sprintf for Coq☆18Updated 5 years ago
- Simple conversion from Agda text to literate Agda text.☆14Updated last month
- A Racket library for interacting with Idris over the IDE protocol☆31Updated 8 years ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Updated 2 years ago
- Quasi-quoting library for agda☆18Updated last year
- Verified C programming in Agda☆16Updated 4 years ago
- Implementing grep in Agda☆33Updated 5 years ago
- Deferring the Details and Deriving Programs☆14Updated 6 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 3 years ago
- A small Coq library for collecting side conditions and deferring their proof☆25Updated 6 years ago
- a version of the 2048 game for Coq☆22Updated last week
- Extensions to cubical for categorical logic/type theory☆35Updated last week
- Formalization of Opetopes and Opetopic Sets in Agda☆18Updated 9 years ago
- Revised Omega-categorical Typechecker☆27Updated last year