Popular repositories Loading

1. clas-cv-template clas-cv-template Public

   Latex template for CLAS-Compliant CV

   TeX 1 1

2. fmcad2019 fmcad2019 Public

   Forked from arjunvish/fmcad2019

   TeX

3. TypeScript TypeScript Public

   Forked from microsoft/TypeScript

   TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

   TypeScript

4. Idris-dev Idris-dev Public

   Forked from idris-lang/Idris-dev

   A Dependently Typed Functional Programming Language

   Haskell

5. kind2 kind2 Public

   Forked from kind2-mc/kind2

   Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

   OCaml

6. cvc5 cvc5 Public

   Forked from cvc5/cvc5

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT