Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Search results for ocaml typechecker

ocaml x
typechecker x
11 search results found
Pyre Check ⭐ 6,606
Performant type-checking for python.
Ppx_stage ⭐ 122
Staged metaprogramming in stock OCaml
Dolmen ⭐ 75
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Fialyzer ⭐ 53
[WIP] Faster Implementation of Dialyzer
Asl Interpreter ⭐ 44
Example implementation of Arm's Architecture Specification Language (ASL)
Z3overlay ⭐ 33
An overlay for the OCaml Z3 binding.
Toy Macro Ml ⭐ 23
An implementation of MacroML [Ganz, Sabry & Taha 2001]
Dfuzz ⭐ 20
Linear Dependent Types for Differential Privacy TypeChecker
Pumping ⭐ 18
Regular languages in types
Catt.io ⭐ 16
Revised Omega-categorical Typechecker
Inverse Bidirectional Typechecking ⭐ 15
A Toy Inverse Bidirectional Typechecker
Catt ⭐ 15
Coherence typechecker for infinity categories
Anders ⭐ 13
Anders: Cubical Type Checker
Bravo ⭐ 6
Castle Bravo: Experimental HoTT Implementation
Flow Parser ⭐ 5
esy packaging of opam `flow_parser` package.
Related Searches
Ocaml Reasonml (475)
Bindings Ocaml (428)
Ocaml Reason (394)
Ocaml Bucklescript (320)
Types Ocaml (294)
Language Ocaml (289)
C Ocaml (246)
Javascript Ocaml (181)
Reactjs Ocaml (168)
Ocaml Coq (163)
1-11 of 11 search results
Privacy | About | Terms | Follow Us On Twitter

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