anwarmamat / cmsc330Links
☆17Updated last year
Alternatives and similar repositories for cmsc330
Users that are interested in cmsc330 are comparing it to the libraries listed below
Sorting:
- ☆34Updated 4 years ago
- ☆21Updated 5 years ago
- Boolean satisfiability for propositional logic in Python☆14Updated 2 weeks ago
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- ☆171Updated 4 years ago
- Solver for higher-order functional programs, used by Stainless☆92Updated this week
- A simple cross-platform OCaml code editor built for top-level evaluation.☆65Updated 2 years ago
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆134Updated 8 months ago
- Squanchy is a brand new, easy to learn, general purpose, multi-paradigm, compiled programming language. The language is written from scra…☆15Updated 5 years ago
- Graph Grammar Library☆26Updated 8 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆22Updated 7 years ago
- unsw comp3331 all full mark☆10Updated 4 years ago
- Lean ported to Javascript with Emscripten☆26Updated 8 years ago
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆167Updated last week
- The mathematical study of type theories, in univalent foundations☆117Updated 6 months ago
- Homotopy type theory☆14Updated 2 years ago
- Course web site for CSE131 F19☆11Updated 5 years ago
- Python term rewriting☆30Updated 12 years ago
- Compositional CompCert☆13Updated 6 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Truth-table generator for classical propositional logic☆26Updated 4 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆30Updated 2 years ago
- OCamlPro public development repository for Alt-Ergo☆139Updated 2 weeks ago
- Finite sets, finite maps, multisets and generic sets☆50Updated 2 months ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆173Updated 4 years ago
- Mathematical Components (the Book)☆146Updated last year
- Dockerfiles for data science in OCaml on Jupyter☆45Updated 7 years ago
- A curated list of awesome Coq frameworks, libraries and software.☆234Updated this week
- A compiler for Coq☆26Updated 12 years ago
- OCaml Bioinformatics Library☆124Updated last week