-
-
-
-
patchshebangs Public
a minimalist alternative to the Nixpkgs stdenv patchShebangs function
C++ MIT License UpdatedJan 1, 2025 -
IEEE-2030.5-Client Public
Forked from epri-dev/IEEE-2030.5-ClientC BSD 3-Clause "New" or "Revised" License UpdatedDec 25, 2024 -
neovim-idris2 Public
A Nix flake to set up an Idris2 editing environment in Neovim: run with "nix run github:alrunner4/neovim-idris2"
-
-
-
idris-errdefer Public
Inspired by the Zig language's defer and errdefer keywords
Idris UpdatedJun 20, 2024 -
-
idris-stt Public
a monad transformer to add mutable variables via managed use of unsafePerformIO
Idris UpdatedMar 3, 2023 -
-
-
-
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedJul 17, 2022 -
Idris2-boot Public
Forked from edwinb/Idris2-bootA dependently typed programming language, a successor to Idris
Idris Other UpdatedJul 17, 2022 -
-
-
project-euler Public
solutions in Idris2 to problems described at projecteuler.net
-
-
-
-
-
-
-
lightyear Public
Forked from ziman/lightyearParser combinators for Idris
Idris Other UpdatedNov 23, 2019 -
idris-lua Public
Forked from melted/idris-luaA Lua backend for Idris
Lua ISC License UpdatedNov 23, 2019 -
idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedSep 27, 2018 -
{{ message }}