rodrigogribeiro / pcc116-2021-2
โ10Updated 3 years ago
Alternatives and similar repositories for pcc116-2021-2:
Users that are interested in pcc116-2021-2 are comparing it to the libraries listed below
- A formalization of continuation-passing style calculi in Coq [WIP]โ37Updated 3 weeks ago
- ๐ | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).โ47Updated 3 years ago
- โ48Updated 2 years ago
- โ14Updated 5 months ago
- Modal Logic Library in Coqโ15Updated 2 years ago
- โ19Updated last year
- โ23Updated 2 years ago
- Toy programming languageโ19Updated 10 months ago
- Collection of Kind2 programs and proofsโ11Updated 10 months ago
- โ12Updated 2 years ago
- The Haskell implementation of the Milho programming language.โ29Updated last year
- ๐ฎ | Is a programming language aimed at incorporating everything Iโd like to have in Haskell, except dependent types.โ15Updated 2 years ago
- ๐ฆ | A language that compiles to LLVM and has algebraic effectsโ104Updated last year
- ๐ | IDE focused programming language studyโ34Updated last year
- โ80Updated 2 years ago
- Calculus of Constructionsโ17Updated 5 years ago
- ๐งฎ | Writing an Equation Solverโ34Updated last year
- Some day, a purely functional Lisp. Right now? Just a silly prototype.โ15Updated 3 years ago
- โ20Updated last year
- โ118Updated last year
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.โ12Updated 9 months ago
- Small lisp interpreter in Pythonโ9Updated 2 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposesโ15Updated 6 years ago
- A declarative toy language inspired on set comprehensions.โ18Updated 6 years ago
- Referendos criptograficamente incorruptรญveis.โ59Updated 8 years ago
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewskiโ19Updated 5 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.โ109Updated 7 years ago
- ๐ต A lisp REPL interpreter made in Haskellโ24Updated 5 years ago
- This is a Coq formalization of Damas-Milner type system and its algorithm W.โ29Updated 4 years ago
- The Lambda I/O Foundation Manifest.โ57Updated 8 years ago