-
iohk-nix Public
Forked from input-output-hk/iohk-nixnix scripts shared across projects
Nix UpdatedSep 26, 2025 -
My-NeovimCfg Public
Gotta store my configs for Neovim somewhere safe
-
idris2-lsp Public
Forked from idris-community/idris2-lspLanguage Server for Idris2
Idris BSD 3-Clause "New" or "Revised" License UpdatedAug 21, 2025 -
cardano-node Public
Forked from IntersectMBO/cardano-nodeThe core component that is used to participate in a Cardano decentralised blockchain.
Haskell Apache License 2.0 UpdatedAug 18, 2025 -
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Scheme Other UpdatedApr 8, 2025 -
Just-a-Parser Public
Fork of the std/contrib parser without type-level indexing
Idris BSD 3-Clause "New" or "Revised" License UpdatedMar 29, 2025 -
idris2-nvim Public
Forked from idris-community/idris2-nvimSimple configuration and extra tools for NVIM + LSP + Idris2
Lua MIT License UpdatedMar 6, 2025 -
massimult-paper Public
A public copy of the paper on the workings of Massimult (https://massimult.org)
TeX UpdatedDec 3, 2024 -
idris2-lsp-vscode Public
Forked from bamboo/idris2-lsp-vscodeVisual Studio Code integration for the Idris 2 language server
TypeScript MIT License UpdatedNov 29, 2024 -
-
idris2-pack-db Public
Forked from stefan-hoeck/idris2-pack-dbBSD 3-Clause "New" or "Revised" License UpdatedNov 23, 2024 -
-
Nova Public
A programming language based on extensional Martin Lof Type Theory
-
Time-Interval Public
Compute total time in `hh:mm` format given a list of intervals `hh:mm-hh:mm`
-
-
-
-
-
Vox2D Public archive
2D constructive solid geometry rendered via ray-tracing
Idris UpdatedJun 7, 2023 -
-
Idris2-Lua Public
Lua backend for Idris 2
-
Idris2-Effect Public
Experimental effects library for Idris 2
-
-
idris2-mode Public
Forked from idris-hackers/idris-modeIdris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Emacs Lisp GNU General Public License v3.0 UpdatedJun 10, 2021 -
nvim-idris2 Public
Forked from ShinKage/nvim-idris2EXPERIMENTAL: Idris2 plugin for neovim in Idris2
-
Idris2-HoTT Public archive
Learning me some HoTT in Idris 2
-
-
-
{{ message }}