Thriim

Discovered public repositories for Thriim in the GitHub catalog.

↗

Public repository.

↗

Mini SMT Solver reasoning about the equality theory. Project for the Automatic Deduction course in MPRI.

↗

Abstract interpretation project

↗

ML type inference in presence of type classes

↗

A custom Scheme Interpreter designed in OCaml.

↗

Previous project developped during our "Travail d'Etudes et de Recherches", under the supervision of Jean-Christophe Filliâtre (LRI).

↗

Work for TEP courses, in our case the summary of an article about Linear Dependent Types in Call-by-Value Scenario

↗

Process Algebra Ve'rifier

Built something? Put it in front of millions of developers.