-
MSPweb Public
Forked from msp-strath/MSPwebbeing the shared sources and generated html for the MSP website
HTML UpdatedApr 16, 2026 -
positively-negative Public
Adventures in being positively negative when deciding things in Idris.
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedDec 3, 2025 -
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedNov 12, 2025 -
our-place Public
An artisanal course content delivery setup...
CSS BSD 3-Clause Clear License UpdatedOct 29, 2025 -
bidi-sessions Public
BIdirectionally-Typed Sessions
-
idrall Public
Forked from alexhumphreys/idrallDhall bindings for Idris
Idris Mozilla Public License 2.0 UpdatedSep 5, 2025 -
-
-
Idris2-Cedar-Formalisation Public
Forked from gracefulzebra/Idris2-Cedar-FormalisationA formalisation of Cedar's type system using Idris2
Idris UpdatedJul 22, 2025 -
jfdm.github.io Public
The code for my (S n) Website.
TeX BSD 3-Clause "New" or "Revised" License UpdatedApr 25, 2025 -
-
skunkworks Public
A place for experimental ideas not large enough for their own home.
-
-
idris-mode Public
Forked from idris-hackers/idris-modeIdris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Emacs Lisp GNU General Public License v3.0 UpdatedJul 4, 2024 -
scottish-pl-institute.github.io Public
Forked from scottish-pl-institute/scottish-pl-institute.github.ioSPLI website
Makefile UpdatedJun 14, 2024 -
rabe Public
Forked from Fraunhofer-AISEC/raberabe is an Attribute Based Encryption library, written in Rust
Rust MIT License UpdatedMay 22, 2024 -
-
idris2-toolkit Public
I collection of things I use in Idris2 that I dump into private projects to avoid dependency hell.
-
velo-lang Public
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
-
packer-idris Public
Packer scripts for generating Virtual Box OVFs that have Idris preinstalled.
-
olai-lang Public
Adventures in Imperative languages in Idris2.
Idris BSD 3-Clause Clear License UpdatedOct 31, 2022 -
-
ips-protodesc-code Public
Forked from glasgow-ipl/ips-protodesc-codeCode for parsing out augmented packet header diagrams from IETF documents
Python Other UpdatedMar 21, 2022 -
-
collie Public
Forked from ohad/collieCommand line interface library in Idris
Idris Other UpdatedJan 20, 2022 -
-
idris-xml Public archive
A simple XML module for Idris.
-
idris-containers Public archive
Various data structures for use in the Idris Language.
-
idris-commons Public archive
Various common utilities for use in Idris
{{ message }}