Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Idris Open Source Projects

Open source projects categorized as Idris
Categories > 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
Idris Jvm ⭐ 455
JVM bytecode back end for Idris
total releases 11most recent commit 5 months ago
Software Foundations ⭐ 356
Software Foundations in 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
Lightyear ⭐ 212
Parser combinators for Idris
most recent commit 5 years ago
Idris Ct ⭐ 179
formally verified category theory library
most recent commit 4 years ago
Dbcritic ⭐ 167
most recent commit 7 months ago
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.
most recent commit 6 years ago
Elba ⭐ 158
A package manager for Idris
total releases 7most recent commit 4 years ago
Idris2 Lsp ⭐ 152
Language Server for Idris2
most recent commit 3 months ago
Idris2 Tutorial ⭐ 141
most recent commit 8 months ago
Quantities ⭐ 140
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
most recent commit 5 years ago
Idris2 Erlang ⭐ 138
Erlang code generator for Idris 2
total releases 1most recent commit 5 months ago
Awesome Provable ⭐ 136
A curated set of links to formal methods involving provable code.
most recent commit 2 years ago
Project Init ⭐ 135
Project templates in rust
total releases 146most recent commit 8 months ago
Idris Cil ⭐ 125
A Common Intermediate Language backend for Idris.
most recent commit 5 years ago
Idris2048 ⭐ 124
2048 in Idris
most recent commit 6 years ago
Idris Crypto ⭐ 115
Implementation of cryptographic primitives using Idris
most recent commit 6 years ago
Ttlite ⭐ 108
A SuperCompiler for Martin-Löf's Type Theory
most recent commit 2 years ago
Hezarfen ⭐ 104
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
most recent commit 6 years ago
The 7 Latest Releases In Idris Open Source Projects
Idris Jvm ⭐ 455
JVM bytecode back end for Idris
total releases 11latest release March 28, 2023most recent commit 5 months ago
Harmony ⭐ 18
Harmonize with coworkers around GitHub reviewing.
total releases 4latest release March 28, 2022most recent commit 3 months ago
Cambria ⭐ 26
total releases 1latest release September 01, 2021most recent commit 3 years ago
Idris2 Erlang ⭐ 138
Erlang code generator for Idris 2
total releases 1latest release September 26, 2020most recent commit 5 months ago
Project Init ⭐ 135
Project templates in rust
total releases 146latest release November 01, 2019most recent commit 8 months ago
Idris Python ⭐ 24
Successor project: https://github.com/thautwarm/Quick-Backend
total releases 2latest release April 25, 2019most recent commit 5 years ago
Elba ⭐ 158
A package manager for Idris
total releases 7latest release August 20, 2018most recent commit 4 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.