KULeuven-CS / CPL
Comparative Programming Languages (B-KUL-H0S01A)
☆17Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for CPL
- Parallel Computing (B-KUL-H03F9A)☆9Updated 9 years ago
- Gedistribueerde Software Architecturen - Verdiepende Studie (B-KUL-G0K31A)☆13Updated 9 years ago
- Genetic Algorithms and Evolutionary Computing (B-KUL-H02D1A)☆12Updated 9 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 9 months ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- An automated deductive program verifier.☆39Updated last year
- Primary implementation of the Venture probabilistic programming system☆28Updated 4 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆21Updated 2 years ago
- DeepAlgebra☆25Updated 7 years ago
- metamath proof enumerators and other things☆87Updated 3 months ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 10 years ago
- VATA Tree Automata Library☆32Updated 2 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆77Updated last month
- A system for computational category theory and applications☆35Updated 8 years ago
- IPython-style interaction for Cryptol☆15Updated 7 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- CertiCrypt Coq Framework☆32Updated 8 years ago
- This project contains various supporting libraries for lean to reason about protocols.☆42Updated 7 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 7 years ago
- ☆51Updated 3 months ago
- The LTSmin model checking toolset☆53Updated last week
- Visual graph rewriting platform☆10Updated 7 months ago
- A (formalised) general definition of type theories☆56Updated 3 years ago
- Haskell bindings to SymEngine☆25Updated last year
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆66Updated 2 months ago
- ☆17Updated 9 months ago