Popular repositories Loading

1. mrm mrm Public

   Module Relational Mapper library for OCaml

   9

2. lambda lambda Public

   OCaml 3

3. VSharp VSharp Public

   Forked from VSharp-team/VSharp

   Symbolic execution engine for .NET Core

   C++ 1

4. ocaml-type-debugger ocaml-type-debugger Public

   Type inferer for subset of OCaml with expanded explanations of errors

   OCaml

5. jacodb jacodb Public

   Forked from UnitTestBot/jacodb

   fast and effective way to access and analyze java bytecode

   Kotlin

6. usvm usvm Public

   Forked from MchKosticyn/usvm

   Universal Symbolic Virtual Machine

   Kotlin