Awesome Open Source

Programming Languages

Search results for language dependent types

dependent-types x

18 search results found

Idris2 ⭐ 2,320

A purely functional programming language with first class types

Pikelet ⭐ 507

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

Awesome Idris ⭐ 262

𝛌 Awesome Idris resources

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

A Compiler for the Popr Language

A Super Kawaii Dependently Typed Programming Language

Cicada Solo ⭐ 125

Cicada Language (solo version)

Idris Cil ⭐ 125

A Common Intermediate Language backend for Idris.

A proof assistant that is also a programming language.

Cicada Language

Voile Rs ⭐ 74

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

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

Intellij Dtlc ⭐ 29

IntelliJ plugin for several experimental programming languages here

Feature.scala ⭐ 27

Access Scala language features on the type-level

The Vitamin programming language

Sometimes when I feel sad I implement a dependently typed lambda calculus.

Awesome Agda Programming ⭐ 7

Awesome Agda Programming

A PTS Supporting Induction

A gradually-typed garbage-collected WebAssembly language

Related Searches

Python Language (4,480)

Javascript Language (4,116)

Java Language (2,399)

C Plus Plus Language (1,971)

Php Language (1,760)

Language Translation (1,672)

C Language (1,627)

Golang Language (1,282)

Typescript Language (1,185)

Ruby Language (1,107)

1-18 of 18 search results

Privacy | About | Terms | Follow Us On Twitter

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