Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types idris
idris
x
types
x
12 search results found
Idris2
⭐
2,320
A purely functional programming language with first class types
Idris2 Boot
⭐
944
A dependently typed programming language, a successor to Idris
Blodwen
⭐
562
A prototype successor to Idris
Typedefs
⭐
343
Programming language agnostic type construction language based on polynomials.
Awesome Idris
⭐
262
𝛌 Awesome Idris resources
Idris2048
⭐
124
2048 in Idris
Ttlite
⭐
108
A SuperCompiler for Martin-Löf's Type Theory
Idris Type Providers
⭐
75
Type provider library for Idris
Idrall
⭐
39
Dhall bindings for Idris
Idris Ecosystem
⭐
38
Fsm Oracle
⭐
34
Finite state machines as graphs
Idrissqlite
⭐
33
Effectful bindings for SQLite (forked from IdrisWeb)
Permutations
⭐
31
Provides a type-safe way of working with permutations in Idris
Idris Bi
⭐
29
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
Idris Protobuf
⭐
25
A partial implementation of Protocol Buffers in Idris
Flying Spaghetti Monster
⭐
21
An Idris type provider for communicating type-checkable protocols.
Univalence From Scratch
⭐
15
Univalence from scratch in Idris
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.
Modal Types
⭐
13
Experiments with modal types
Idris Graphql
⭐
12
Idris GraphQL
Linear
⭐
11
Linear lenses in Blodwen
Csd Utwente
⭐
9
Certified Software Development with Dependent Types in Idris
Uniontype
⭐
8
UnionType in Idris
Misc
⭐
6
Misc playground and random stuff
Type Driven Develop
⭐
5
Exercise Solution for the book Type Driven Development with Idris
Related Searches
Javascript Types (8,178)
Typescript Types (2,606)
Python Types (2,536)
Php Types (1,921)
Java Types (1,598)
C Plus Plus Types (1,282)
Golang Types (1,257)
C Sharp Types (1,177)
Plugin Types (1,152)
Json Types (1,128)
1-12 of 12 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.