Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 18 Functional Programming Dependent Types Open Source Projects

Open source projects categorized as Functional Programming Dependent Types
Categories > Programming Languages > Dependent Types
Categories > Software Development > Functional Programming
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105most recent commit 5 months agonpm kind-lang} Downloads
Awesome Idris ⭐ 262
𝛌 Awesome Idris resources
most recent commit 4 years ago
Silt ⭐ 204
An in-progress fast, dependently typed, functional programming language implemented in Swift.
most recent commit 5 years ago
Poprc ⭐ 180
A Compiler for the Popr Language
most recent commit 3 years ago
Tensor Safe ⭐ 96
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
most recent commit 3 years ago
Rowscript ⭐ 78
RowScript is a robustly-typed functional language that compiles to efficient and reliable JavaScript.
dependent packages 1total releases 9most recent commit 3 months agonpm rowscript} Downloads
Differentiable Idris ⭐ 39
dependent types meets deep learning
most recent commit 5 years ago
Kara ⭐ 37
An experimental functional programming language with dependent types, inspired by Swift and Idris.
most recent commit 2 years ago
Formcorejs ⭐ 30
A minimal pure functional language based on self dependent types.
dependent packages 6total releases 62most recent commit 2 years agonpm formcore-js} Downloads
Magnificats ⭐ 28
Collection of ATS goodness
most recent commit 4 years ago
Curios ⭐ 27
Work-in-progress functional dependently typed programming language
most recent commit a year ago
Cs43 ⭐ 22
Course materials for Stanford's CS43: Functional Programming Paradigms
most recent commit 4 years ago
Vitamin ⭐ 21
The Vitamin programming language
most recent commit 3 years ago
Dependable Data Structures ⭐ 13
Experiments in implementing functional data structures in Idris
most recent commit 5 years ago
Ttstar ⭐ 12
Dependently typed core calculus with erasure
most recent commit 5 years ago
Grammar Experimentation ⭐ 8
An experimental programming language containing a higher-order type system
most recent commit 4 years ago
Idris Docker ⭐ 7
Docker image for Idris, the functional programming language with dependent types
most recent commit 5 years ago
Mini Yu ⭐ 5
A dependently typed programming language prototype
most recent commit a year ago
The 3 Most Depended On Functional Programming Dependent Types Open Source Projects
Formcorejs ⭐ 30
A minimal pure functional language based on self dependent types.
dependent packages 6total releases 62latest release November 09, 2021most recent commit 2 years agonpm formcore-js} Downloads
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
Rowscript ⭐ 78
RowScript is a robustly-typed functional language that compiles to efficient and reliable JavaScript.
dependent packages 1total releases 9latest release May 24, 2023most recent commit 3 months agonpm rowscript} Downloads
The 4 Latest Releases In Functional Programming Dependent Types Open Source Projects
Rowscript ⭐ 78
RowScript is a robustly-typed functional language that compiles to efficient and reliable JavaScript.
dependent packages 1total releases 9latest release May 24, 2023most recent commit 3 months agonpm rowscript} Downloads
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
Formcorejs ⭐ 30
A minimal pure functional language based on self dependent types.
dependent packages 6total releases 62latest release November 09, 2021most recent commit 2 years agonpm formcore-js} Downloads
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.