Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 15 Ocaml Typechecker Open Source Projects

Open source projects categorized as Ocaml Typechecker
Categories > Compilers > Typechecker
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77most recent commit 3 months agopypi pyre-check} Downloads
Ppx_stage ⭐ 122
Staged metaprogramming in stock OCaml
most recent commit 3 years ago
Dolmen ⭐ 75
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
most recent commit 5 months ago
Fialyzer ⭐ 53
[WIP] Faster Implementation of Dialyzer
most recent commit 5 years ago
Asl Interpreter ⭐ 44
Example implementation of Arm's Architecture Specification Language (ASL)
most recent commit 5 years ago
Z3overlay ⭐ 33
An overlay for the OCaml Z3 binding.
most recent commit 2 years ago
Toy Macro Ml ⭐ 23
An implementation of MacroML [Ganz, Sabry & Taha 2001]
most recent commit 5 years ago
Dfuzz ⭐ 20
Linear Dependent Types for Differential Privacy TypeChecker
most recent commit 4 years ago
Pumping ⭐ 18
Regular languages in types
most recent commit 7 years ago
Catt.io ⭐ 16
Revised Omega-categorical Typechecker
most recent commit a year ago
Inverse Bidirectional Typechecking ⭐ 15
A Toy Inverse Bidirectional Typechecker
most recent commit 5 years ago
Catt ⭐ 15
Coherence typechecker for infinity categories
most recent commit 6 months ago
Anders ⭐ 13
Anders: Cubical Type Checker
most recent commit 6 months ago
Bravo ⭐ 6
Castle Bravo: Experimental HoTT Implementation
most recent commit 10 months ago
Flow Parser ⭐ 5
esy packaging of opam `flow_parser` package.
most recent commit 4 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.