Awesome Open Source

Programming Languages

Search results for programming language dependent types

dependent-types x

programming-language x

30 search results found

Fstar ⭐ 2,522

A Proof-oriented Programming Language

Agda is a dependently typed programming language / interactive theorem prover.

Lean3 ⭐ 2,138

Lean Theorem Prover

Pikelet ⭐ 507

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Peridot ⭐ 388

A fast functional language based on two level type theory

Cedille ⭐ 305

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

Coq Equations ⭐ 206

A function definition package for Coq

An in-progress fast, dependently typed, functional programming language implemented in Swift.

A Super Kawaii Dependently Typed Programming Language

Cicada Solo ⭐ 125

Cicada Language (solo version)

Language Garden ⭐ 117

A garden of small programming language implementations 🪴

A SuperCompiler for Martin-Löf's Type Theory

Lambdapi ⭐ 86

Dependently Typed Lambda Calculus in Haskell

Cicada Language

Rowscript ⭐ 78

RowScript is a robustly-typed functional language that compiles to efficient and reliable JavaScript.

Voile Rs ⭐ 74

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

Minitt Rs ⭐ 68

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

Placeholder for the OwO compiler

(WIP) Dependently-typed programming language with Agda style dependent pattern matching

An experimental functional programming language with dependent types, inspired by Swift and Idris.

Intellij Dtlc ⭐ 29

IntelliJ plugin for several experimental programming languages here

Work-in-progress functional dependently typed programming language

The Vitamin programming language

Idris Elba Dev ⭐ 12

A Whitespace-Based Dependently Typed Functional Programming Language

dependently-typed lisp with flexible compiler backends

A dependently-typed programming language for Minecraft

Grammar Experimentation ⭐ 8

An experimental programming language containing a higher-order type system

Idris Docker ⭐ 7

Docker image for Idris, the functional programming language with dependent types

A gradually-typed garbage-collected WebAssembly language

A dependently typed programming language prototype

Impala2 Experiment ⭐ 5

Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.

Related Searches

C Plus Plus Programming Language (830)

Python Programming Language (779)

C Programming Language (667)

Javascript Programming Language (590)

Java Programming Language (544)

Rust Programming Language (365)

Haskell Programming Language (270)

Typescript Programming Language (177)

Types Programming Language (161)

Programming Language Repl (123)

1-30 of 30 search results

Privacy | About | Terms | Follow Us On Twitter

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