Beluga
Formal reasoning language
A functional programming language designed to reason about formal systems using object-level binding constructs.
Contextual types meet mechanized metatheory!
185 stars
12 watching
16 forks
Language: OCaml
last commit: 4 months ago
Linked from 1 awesome list
belugadependent-typeshoaslfocaml
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 discus-lang/iron | Formalizations of functional languages with a focus on proof and verification | 141 |
 cdiggins/plato | A statically typed functional language designed to reduce boilerplate code and improve performance by leveraging immutable data structures and abstract concepts. | 79 |
 barbuz/husk | A functional programming language that combines golfing and simplification of code through type inference. | 76 |
 sviperll/argo | Developing a pragmatic functional programming language with a focus on tooling, simplicity, and incremental changes to enable stable growth and maintenance. | 10 |
 hfoffani/hypolambda | A compact functional programming language for .NET with a syntax based on Python. | 0 |
 bradford-hamilton/monkey-lang | An implementation of a custom programming language with features such as compilation and execution capabilities. | 45 |
 zjhmale/ntha | An experimental statically typed functional programming language with features from Lisp and Haskell. | 93 |
 branchtaken/hemlock | A systems programming language focused on reliable high performance parallel computation | 31 |
 cloe-lang/cloe | A Go-based functional programming language designed to simplify concurrent and reactive programming. | 410 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |
 vorov2/ela | A modern functional programming language with support for dynamic typing and lazy evaluation. | 23 |
 starkware-libs/cairo-lang | A language and package for writing provable programs in Python. | 1,347 |
 teaentitylab/fpgo | A Golang library providing functional programming features and Rx-style coding capabilities. | 349 |
 vexu/bog | A small, embeddable language with strong typing and support for async/await, loops, error handling, and destructuring. | 546 |
 reedoei/enki | A beginner-focused logic programming language built on top of Haskell. | 8 |