Highlights
- Pro
-
idris2-pack-db Public
Forked from stefan-hoeck/idris2-pack-dbBSD 3-Clause "New" or "Revised" License UpdatedOct 3, 2024 -
open-games-hs-fork Public
Forked from philipp-zahn/open-games-engineHaskell implementation of open games
Haskell GNU Affero General Public License v3.0 UpdatedSep 12, 2024 -
idris2-sqlite3 Public
Forked from stefan-hoeck/idris2-sqlite3Idris2 bindings to the sqlite3 C-API
Idris BSD 3-Clause "New" or "Revised" License UpdatedSep 6, 2024 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
-
idris-records Public
Forked from kuribas/idris-recordsExtensible, specification backed records.
Idris BSD 3-Clause "New" or "Revised" License UpdatedJul 26, 2024 -
collie Public
Forked from ohad/collieCommand line interface library in Idris
-
-
-
-
-
-
idris-lang.github.io Public
Forked from idris-lang/idris-lang.github.ioThe Idris website
CSS BSD 3-Clause "New" or "Revised" License UpdatedApr 10, 2024 -
-
-
-
-
units Public
Forked from goldfirere/unitsThe home of the units Haskell package
Haskell UpdatedOct 7, 2023 -
-
-
-
act Public
Forked from ethereum/actSmart contract specification language
Haskell GNU Affero General Public License v3.0 UpdatedMay 31, 2023 -
monad-bayes Public
Forked from idris-bayes/monad-bayesAn experimental port of the probabilistic language MonadBayes from Haskell to Idris2.
Idris BSD 3-Clause "New" or "Revised" License UpdatedMay 25, 2023 -
hevm Public
Forked from ethereum/hevmsymbolic EVM evaluator
Haskell GNU Affero General Public License v3.0 UpdatedMay 6, 2023 -
-
-
declarative-programming-streams Public
Forked from chiroptical/declarative-programming-streamsActive streaming declarative programmers
UpdatedAug 23, 2022 -
dev-notes Public
Blog about my dev notes
-
pi-forall Public
Forked from sweirich/pi-forallA demo implementation of a simple dependently-typed language
Haskell UpdatedJun 29, 2022 -
Yaffle Public
Forked from edwinb/YaffleA core language and API for dependently typed languages
Idris UpdatedMay 20, 2022 -
idris2-apache-mime-types Public
Forked from kbertalan/idris2-apache-mime-typesIdris UpdatedMay 19, 2022