Awesome Open Source

Programming Languages

Search results for ocaml dependent types

dependent-types x

12 search results found

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Fstar ⭐ 2,522

A Proof-oriented Programming Language

Lambdapi ⭐ 241

Proof assistant based on the λΠ-calculus modulo rewriting

Coqhammer ⭐ 194

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

Contextual types meet mechanized metatheory!

Language Garden ⭐ 117

A garden of small programming language implementations 🪴

Mindless Coding ⭐ 104

Mindless, verified (erasably) coding using dependent types

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.

Mindless Coding Phase2 ⭐ 18

Mindless, verified (erasably) coding using dependent types, phase 2

Anders: Cubical Type Checker

Grammar Experimentation ⭐ 8

An experimental programming language containing a higher-order type system

Castle Bravo: Experimental HoTT Implementation

Related Searches

Ocaml Reasonml (475)

Bindings Ocaml (428)

Ocaml Reason (394)

Ocaml Bucklescript (320)

Types Ocaml (294)

Language Ocaml (289)

Javascript Ocaml (181)

Reactjs Ocaml (168)

Ocaml Coq (163)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

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