-
idris2-pack-db Public
Forked from stefan-hoeck/idris2-pack-dbBSD 3-Clause "New" or "Revised" License UpdatedDec 23, 2025 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
-
elaboration-zoo Public
Forked from AndrasKovacs/elaboration-zooMinimal implementations for dependent type checking and elaboration
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 29, 2025 -
idris2-pack Public
Forked from stefan-hoeck/idris2-packIdris BSD 3-Clause "New" or "Revised" License UpdatedNov 11, 2025 -
-
-
idris2-sqlite3 Public
Forked from stefan-hoeck/idris2-sqlite3Idris2 bindings to the sqlite3 C-API
Idris BSD 3-Clause "New" or "Revised" License UpdatedAug 27, 2025 -
idris-lang.github.io Public
Forked from idris-lang/idris-lang.github.ioThe Idris website
CSS BSD 3-Clause "New" or "Revised" License UpdatedAug 20, 2025 -
-
-
idris2-dom-mvc Public
Forked from stefan-hoeck/idris2-dom-mvcSingle Page Web Applications in Idris
Idris BSD 3-Clause "New" or "Revised" License UpdatedMay 22, 2025 -
-
-
idris2-elab-util Public
Forked from stefan-hoeck/idris2-elab-utilUtilities and documentation for exploring idirs2's new elaborator reflection.
Idris BSD 2-Clause "Simplified" License UpdatedDec 1, 2024 -
idrall Public
Forked from alexhumphreys/idrallDhall bindings for Idris
Idris Mozilla Public License 2.0 UpdatedNov 25, 2024 -
LSP-lib Public
Forked from idris-community/LSP-libA universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.
Idris BSD 3-Clause "New" or "Revised" License UpdatedNov 25, 2024 -
idris2-lsp Public
Forked from idris-community/idris2-lspLanguage Server for Idris2
Idris BSD 3-Clause "New" or "Revised" License UpdatedNov 8, 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 -
prettier Public
Forked from Z-snails/prettierBernardy style pretty-printer
Idris Other UpdatedAug 9, 2024 -
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
-
-
-
-
idris2-parser Public
Forked from stefan-hoeck/idris2-parserTotal lexer and parser for Idris2
Idris BSD 3-Clause "New" or "Revised" License UpdatedApr 5, 2024 -
-
-
-
units Public
Forked from goldfirere/unitsThe home of the units Haskell package
Haskell UpdatedOct 7, 2023
{{ message }}