Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 19 Language Dependent Types Open Source Projects

Open source projects categorized as Language Dependent Types
Categories > Programming Languages > Dependent Types
Idris2 ⭐ 2,320
A purely functional programming language with first class types
most recent commit 3 months ago
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1most recent commit 3 years ago
Awesome Idris ⭐ 262
𝛌 Awesome Idris resources
most recent commit 4 years ago
Fathom ⭐ 235
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
most recent commit a year ago
Poprc ⭐ 180
A Compiler for the Popr Language
most recent commit 3 years ago
Ditto ⭐ 130
A Super Kawaii Dependently Typed Programming Language
most recent commit 6 years ago
Cicada Solo ⭐ 125
Cicada Language (solo version)
most recent commit 5 months ago
Idris Cil ⭐ 125
A Common Intermediate Language backend for Idris.
most recent commit 5 years ago
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125most recent commit 3 months ago
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38most recent commit 5 months agonpm cicada-lang} Downloads
Voile Rs ⭐ 74
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
dependent packages 2total releases 15most recent commit 4 years agocargo voile-util} Downloads
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8most recent commit 4 years ago
Intellij Dtlc ⭐ 29
IntelliJ plugin for several experimental programming languages here
most recent commit 3 years ago
Feature.scala ⭐ 27
Access Scala language features on the type-level
dependent packages 9total releases 38most recent commit 4 years ago
Vitamin ⭐ 21
The Vitamin programming language
most recent commit 3 years ago
Tilec ⭐ 9
Sometimes when I feel sad I implement a dependently typed lambda calculus.
most recent commit 4 years ago
Awesome Agda Programming ⭐ 7
Awesome Agda Programming
most recent commit 4 years ago
Iotatt ⭐ 7
A PTS Supporting Induction
most recent commit 6 years ago
Grace ⭐ 5
A gradually-typed garbage-collected WebAssembly language
most recent commit 7 months ago
The 3 Most Depended On Language Dependent Types Open Source Projects
Feature.scala ⭐ 27
Access Scala language features on the type-level
dependent packages 9total releases 38latest release August 07, 2018most recent commit 4 years ago
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38latest release October 09, 2021most recent commit 5 months agonpm cicada-lang} Downloads
Voile Rs ⭐ 74
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
dependent packages 2total releases 15latest release December 01, 2019most recent commit 4 years agocargo voile-util} Downloads
The 6 Latest Releases In Language Dependent Types Open Source Projects
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125latest release July 22, 2023most recent commit 3 months ago
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38latest release October 09, 2021most recent commit 5 months agonpm cicada-lang} Downloads
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8latest release January 18, 2020most recent commit 4 years ago
Voile Rs ⭐ 74
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
dependent packages 2total releases 15latest release December 01, 2019most recent commit 4 years agocargo voile-util} Downloads
Feature.scala ⭐ 27
Access Scala language features on the type-level
dependent packages 9total releases 38latest release August 07, 2018most recent commit 4 years ago
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1latest release July 24, 2018most recent commit 3 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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