Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for idris
idris
x
213 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
Idris Jvm
⭐
455
JVM bytecode back end for Idris
Software Foundations
⭐
356
Software Foundations in Idris
Typedefs
⭐
343
Programming language agnostic type construction language based on polynomials.
Awesome Idris
⭐
262
𝛌 Awesome Idris resources
Lightyear
⭐
212
Parser combinators for Idris
Idris Ct
⭐
179
formally verified category theory library
Dbcritic
⭐
167
Idris Koans
⭐
165
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
Elba
⭐
158
A package manager for Idris
Idris2 Lsp
⭐
152
Language Server for Idris2
Idris2 Tutorial
⭐
141
Quantities
⭐
140
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Idris2 Erlang
⭐
138
Erlang code generator for Idris 2
Awesome Provable
⭐
136
A curated set of links to formal methods involving provable code.
Project Init
⭐
135
Project templates in rust
Idris Cil
⭐
125
A Common Intermediate Language backend for Idris.
Idris2048
⭐
124
2048 in Idris
Idris Crypto
⭐
115
Implementation of cryptographic primitives using Idris
Ttlite
⭐
108
A SuperCompiler for Martin-Löf's Type Theory
Hezarfen
⭐
104
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
Vscode Idris
⭐
89
Idris for Visual Studio Code
Jean Zay Doc
⭐
88
Collaborative documentation for and from Jean Zay users. Official Jean Zay documentation: http://www.idris.fr/eng/jean-zay/
Idris Containers
⭐
86
Various data structures for use in the Idris Language.
Order Taking
⭐
82
Idris version of Domain Modeling Made Functional Book.
Idris2 Pack
⭐
76
Idris Type Providers
⭐
75
Type provider library for Idris
Idris2 Elab Util
⭐
73
Utilities and documentation for exploring idirs2's new elaborator reflection.
Idris2gl
⭐
62
A Graphics Library for Idris 2.
Recursion_schemes
⭐
60
Recursion schemes for Idris
Idris Codegen Wasm
⭐
57
WebAssembly Code Generation Backend for Idris Compiler
Spidr
⭐
57
Accelerated machine learning with dependent types
Idris Elixir
⭐
54
A code-generator for Idris that targets Elixir
Idris101
⭐
52
Learning project by a group of people interested in learning the Idris language
Ai Dsl
⭐
50
Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
Specdris
⭐
49
A test framework for Idris
Teaching Fp
⭐
45
Techniques, advice, and anecdotes about how to teach Functional Programming
Idris Grin
⭐
43
GRIN backend for Idris
Idrisjs
⭐
43
Js libraries for idris
Idris Frex
⭐
42
Idris2 Dom
⭐
42
Javascript DOM bindings for Idris2
Skyro
⭐
41
Home of the Skyro compiler
Differentiable Idris
⭐
39
dependent types meets deep learning
Idrall
⭐
39
Dhall bindings for Idris
Todo
⭐
38
Idris Todo web application example
Idris Ecosystem
⭐
38
Fluid
⭐
37
🐙 Code-generated, Auto-versioned, & Smart Web APIs
Idris Cs Hse
⭐
35
«Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
Idris2 Effect
⭐
34
Experimental effects library for Idris 2
Fsm Oracle
⭐
34
Finite state machines as graphs
Idris Http
⭐
33
An HTTP library for idris
Idrissqlite
⭐
33
Effectful bindings for SQLite (forked from IdrisWeb)
Sirdi
⭐
33
Package manager for Idris
Idrispipes
⭐
33
A library for composable and effectful production, transformation and consumption of streams of data in Idris
Permutations
⭐
31
Provides a type-safe way of working with permutations in Idris
Idris2 Sop
⭐
31
Idris port of Haskell's sop-core library
Idris2dart
⭐
31
The Dart backend for Idris 2.
Idrisreducers
⭐
31
Transducers for Idris: a library for composable algorithmic transformation.
Icfp Bingo 2017 Idris
⭐
30
ICFP Bingo 2017 (Idris edition)
Idris Bi
⭐
29
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
Sequent Calc Talk
⭐
29
Code for the "Logic, machines and sequent calculus" talk
Code
⭐
29
Proof theory seminar
Idris2 Hedgehog
⭐
27
An Idris port of the Haskell Hedghog library
Sae
⭐
27
An Idris 2 build tool and a package manager
Idris2 Lua
⭐
27
Lua backend for Idris 2
Inigo
⭐
26
Inigo: A Package Manager for Idris2
Cambria
⭐
26
Idris Insertion Sort
⭐
26
Provably correct implementation of insertion sort in Idris.
Quicksort
⭐
25
Quicksort implemented by me in different languages
Real World Idris
⭐
25
Malfunction backend for Idris with a FFI to OCaml
Idris Protobuf
⭐
25
A partial implementation of Protocol Buffers in Idris
Idris2 Tls
⭐
24
A portable idris2 implementation of TLS
Ikan
⭐
24
build tool and package manager for idris,in idris,with free monads
Idris Python
⭐
24
Successor project: https://github.com/thautwarm/Quick-Backend
Examples
⭐
23
Code samples inspiring language design
Idris Cph Exercises
⭐
23
Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
Itt Idris
⭐
23
ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
Fizzbuzz I
⭐
23
FizzBuzz, formally verified, provably correct
Idris Cam
⭐
23
Sucessor: https://github.com/thautwarm/Quick-Backend
Tyre
⭐
23
Tarts
⭐
23
Timing attack resistant type systems
Geb
⭐
22
A Categorical View of Computation
Idris Patricia
⭐
21
🌋 Idris implementation of patricia tree
Sequent Calc
⭐
21
Experiments with sequent calculi
Rekenaar
⭐
21
Idris tactics for (commutative) monoids
Gloss Idris
⭐
21
A port of the gloss library from Haskell to Idris
Flying Spaghetti Monster
⭐
21
An Idris type provider for communicating type-checkable protocols.
Research
⭐
20
Early-stage research related to the Anoma protocols.
Idris2 Rhone Js
⭐
19
Experimental JS bindings for idris2-rhone
Idrisextstgcodegen
⭐
19
Extensible Records
⭐
19
Extensible records for Idris
Smproc
⭐
19
A well-typed symmetric-monoidal category of concurrent processes
Ringidris
⭐
18
Ring solver for Idris
Idris2 Http
⭐
18
a http(s) client in idris
Bibdris
⭐
18
BibTeX database management in Idris
Harmony
⭐
18
Harmonize with coworkers around GitHub reviewing.
Idris Bifunctors
⭐
17
A small bifunctor library for idris
Katla
⭐
17
Related Searches
Types Idris (46)
Idris Dependent Types (36)
Haskell Idris (31)
Language Idris (16)
Idris Idris2 (15)
1-100 of 213 search results
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.