-
-
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedOct 15, 2024 -
idris2-hedgehog Public
An Idris port of the Haskell Hedghog library
-
idris2-dom-mvc Public
Single Page Web Applications in Idris
-
idris2-filepath Public
Unix style file paths in Idris2
-
idris2-chem Public
Dependently typed cheminformatics in Idris2
-
idris2-linux Public
Utilities for using Idris2 on GNU/Linux systems
-
idris2-pack Public
-
idris2-rio Public
A simple, stack-safe effect system based on the RIO Monad
-
idris2-containers Public
Assorted concrete container types
-
idris2-array Public
Immutable and mutable (linear) arrays
-
idris2-cptr Public
Fun with C-Pointers
-
idris2-profiler Public
A simple profiler for Idris2 functions
-
idris2-ref1 Public
Linear mutable References and Utilities
-
idris2-sqlite3 Public
Idris2 bindings to the sqlite3 C-API
-
idris2-epoll Public
epoll bindings in Idris2
-
idris2-bytestring Public
Immutable byte vectors in Idris2.
-
idris2-cyby-draw Public
A chemical drawing tool for the browser
-
-
idris2-async Public
Asynchronous and concurrent computations in Idris2
-
-
idris2-vty Public
Clone of Haskell's vty library (WIP)
-
idris2-svg Public
Vector graphics in Idris2
-
idris2-algebra Public
Lawful algebraic structures in Idris2
-
idris2-lsp Public
Forked from idris-community/idris2-lspLanguage Server for Idris2
Idris BSD 3-Clause "New" or "Revised" License UpdatedJun 18, 2024 -
-
idris2-json Public
Automatically derivable JSON marshallers in the spirit of Haskell's aeson
-
idris2-dom Public
Javascript DOM bindings for Idris2
-