Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Types Idris Open Source Projects

Open source projects categorized as Types Idris
Idris2 ⭐ 2,320
A purely functional programming language with first class types
most recent commit 3 months ago
Idris2 Boot ⭐ 944
A dependently typed programming language, a successor to Idris
most recent commit 4 years ago
Blodwen ⭐ 562
A prototype successor to Idris
most recent commit 5 years ago
Typedefs ⭐ 343
Programming language agnostic type construction language based on polynomials.
most recent commit 3 years ago
Awesome Idris ⭐ 262
𝛌 Awesome Idris resources
most recent commit 4 years ago
Idris2048 ⭐ 124
2048 in Idris
most recent commit 6 years ago
Ttlite ⭐ 108
A SuperCompiler for Martin-Löf's Type Theory
most recent commit 2 years ago
Idris Type Providers ⭐ 75
Type provider library for Idris
most recent commit 6 years ago
Idrall ⭐ 39
Dhall bindings for Idris
most recent commit 6 months ago
Idris Ecosystem ⭐ 38
most recent commit 6 years ago
Fsm Oracle ⭐ 34
Finite state machines as graphs
most recent commit 4 years ago
Idrissqlite ⭐ 33
Effectful bindings for SQLite (forked from IdrisWeb)
most recent commit 6 years ago
Permutations ⭐ 31
Provides a type-safe way of working with permutations in Idris
most recent commit 3 years ago
Idris Bi ⭐ 29
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
most recent commit 6 years ago
Idris Protobuf ⭐ 25
A partial implementation of Protocol Buffers in Idris
most recent commit 7 years ago
Flying Spaghetti Monster ⭐ 21
An Idris type provider for communicating type-checkable protocols.
most recent commit 6 years ago
Univalence From Scratch ⭐ 15
Univalence from scratch in Idris
most recent commit 6 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
Modal Types ⭐ 13
Experiments with modal types
most recent commit 3 years ago
Idris Graphql ⭐ 12
Idris GraphQL
most recent commit 6 years ago
Linear ⭐ 11
Linear lenses in Blodwen
most recent commit 5 years ago
Csd Utwente ⭐ 9
Certified Software Development with Dependent Types in Idris
most recent commit 8 years ago
Uniontype ⭐ 8
UnionType in Idris
most recent commit 6 years ago
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.