Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 22 Idris Dependent Types Open Source Projects

Open source projects categorized as Idris Dependent Types
Categories > Programming Languages > Dependent Types
Categories > Idris
Idris2 ⭐ 2,320
A purely functional programming language with first class types
most recent commit 3 months ago
Awesome Idris ⭐ 262
𝛌 Awesome Idris resources
most recent commit 4 years ago
Idris Cil ⭐ 125
A Common Intermediate Language backend for Idris.
most recent commit 5 years ago
Ttlite ⭐ 108
A SuperCompiler for Martin-Löf's Type Theory
most recent commit 2 years ago
Spidr ⭐ 57
Accelerated machine learning with dependent types
most recent commit 3 months ago
Differentiable Idris ⭐ 39
dependent types meets deep learning
most recent commit 5 years ago
Real World Idris ⭐ 25
Malfunction backend for Idris with a FFI to OCaml
most recent commit 5 years ago
Idris Python ⭐ 24
Successor project: https://github.com/thautwarm/Quick-Backend
total releases 2most recent commit 5 years ago
Idris Cam ⭐ 23
Sucessor: https://github.com/thautwarm/Quick-Backend
most recent commit 4 years ago
Idris Patricia ⭐ 21
🌋 Idris implementation of patricia tree
most recent commit 3 years ago
Idris Refined ⭐ 15
Port of Scala/Haskell Refined library to Idris
most recent commit 3 years ago
Farrp ⭐ 14
An arrowized FRP library for Idris with static safety guarantees.
most recent commit 6 years ago
Elemental Magicks ⭐ 14
Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!
most recent commit 5 years ago
Dependable Data Structures ⭐ 13
Experiments in implementing functional data structures in Idris
most recent commit 5 years ago
Lightclick ⭐ 13
LightClick is a linearly typed orchestration language for Systems-on-a-Chip Designs that supports lightweight dependent types in the form of domain-specific indexed-types.
most recent commit a year ago
Ttstar ⭐ 12
Dependently typed core calculus with erasure
most recent commit 5 years ago
Seqdecprobs ⭐ 11
most recent commit 7 years ago
Velo Lang ⭐ 10
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
most recent commit a year ago
Csd Utwente ⭐ 9
Certified Software Development with Dependent Types in Idris
most recent commit 8 years ago
Dstbx ⭐ 7
dependently typed Statebox (heavy WIP)
most recent commit 7 years ago
Great Library Of Idris ⭐ 6
A crowd-sourced list of papers using Idris
most recent commit 2 years ago
Misc ⭐ 6
Misc playground and random stuff
most recent commit 5 months 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.