Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for functional programming dependent types
dependent-types
x
functional-programming
x
12 search results found
Kind
⭐
3,459
A next-gen functional language
Awesome Idris
⭐
262
𝛌 Awesome Idris resources
Silt
⭐
204
An in-progress fast, dependently typed, functional programming language implemented in Swift.
Poprc
⭐
180
A Compiler for the Popr Language
Tensor Safe
⭐
96
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
Rowscript
⭐
78
RowScript is a robustly-typed functional language that compiles to efficient and reliable JavaScript.
Differentiable Idris
⭐
39
dependent types meets deep learning
Kara
⭐
37
An experimental functional programming language with dependent types, inspired by Swift and Idris.
Formcorejs
⭐
30
A minimal pure functional language based on self dependent types.
Magnificats
⭐
28
Collection of ATS goodness
Curios
⭐
27
Work-in-progress functional dependently typed programming language
Cs43
⭐
22
Course materials for Stanford's CS43: Functional Programming Paradigms
Vitamin
⭐
21
The Vitamin programming language
Dependable Data Structures
⭐
13
Experiments in implementing functional data structures in Idris
Ttstar
⭐
12
Dependently typed core calculus with erasure
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
Mini Yu
⭐
5
A dependently typed programming language prototype
Related Searches
Javascript Functional Programming (2,473)
Java Functional Programming (850)
Typescript Functional Programming (775)
Haskell Functional Programming (390)
Functional Programming Monad (270)
Types Functional Programming (195)
Language Functional Programming (188)
Rust Functional Programming (164)
Lambda Functions Functional Programming (104)
Swift Functional Programming (95)
1-12 of 12 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.