kohler / peteramati
Collect and grade programming problem sets with git
☆10Updated last week
Alternatives and similar repositories for peteramati:
Users that are interested in peteramati are comparing it to the libraries listed below
- a tool for compiling, showing, cross-linking, and otherwise manipulating dictionaries, corpora, linguistic phylogenies, etc.☆23Updated 14 years ago
- This is a simple project that used Flex and Bison to parse a latex file and generate the corresponding HTML representation.☆11Updated 10 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- An inference engine for extensional untyped λ-calculus☆17Updated last year
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆58Updated 10 years ago
- RLU resizable hash-table☆16Updated 9 years ago
- Java-like Language with Static Information Flow Types☆11Updated 2 years ago
- Aerie: a regex-like engine nested word grammars☆16Updated 2 years ago
- Portable SIMD specification☆19Updated 7 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 11 years ago
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆15Updated last year
- A utility to dump GPU's property☆6Updated 10 years ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Updated 3 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- Program Round-off Error Certifier via Static Analysis☆49Updated 4 months ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- An advanced automated reasoning tool for memory consistency model specifications.☆21Updated 3 years ago
- ☆10Updated 8 years ago
- Cython wrappers for Google's sparsehash library, and the murmur hash functions☆17Updated 10 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆16Updated 2 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- The well-formed build system.☆12Updated last year
- My IJulia notebooks☆33Updated 7 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year