Pinned Repositories
hUML
A Haskell Clone of PlantUML with various subtle differences.
idris-argparse
A simple argument parser written in Idris.
idris-config
Parsers for various configuration files written in Idris.
idris-containers
Various data structures for use in the Idris Language.
idris-testing
Testing Utilities for Idris programs.
idris-xml
A simple XML module for Idris.
olaf-lang
Adventures in being functional.
pyPEBEL
A python module to support the use of the IBE, ABE, and PBE family of asymmetric encryption schemes.
sta-latex
Unofficial set of LaTeX classes, styles, and knick-knacks aimed at use within the University of St Andrews.
velo-lang
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
jfdm's Repositories
jfdm/idris-containers
Various data structures for use in the Idris Language.
jfdm/idris-xml
A simple XML module for Idris.
jfdm/velo-lang
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
jfdm/olaf-lang
Adventures in being functional.
jfdm/idris2-toolkit
I collection of things I use in Idris2 that I dump into private projects to avoid dependency hell.
jfdm/tears-in-the-rain
jfdm/chipshop
jfdm/packer-idris
Packer scripts for generating Virtual Box OVFs that have Idris preinstalled.
jfdm/positively-negative
Adventures in being positively negative when deciding things in Idris.
jfdm/edda
A processing engine for documents written in markdown-like languages.
jfdm/java-grl
An implementation of the GRL in Java
jfdm/lambdadome
jfdm/a-tasty-problem
jfdm/collie
Command line interface library in Idris
jfdm/conference-fee-tracker
jfdm/idrall
Dhall bindings for Idris
jfdm/idris-commons
Various common utilities for use in Idris
jfdm/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
jfdm/idris-shaped
jfdm/Idris2
A purely functional programming language with first class types
jfdm/idris2-edda
jfdm/ips-protodesc-code
Code for parsing out augmented packet header diagrams from IETF documents
jfdm/jfdm.github.io
The code for my (S n) Website.
jfdm/katla
jfdm/MSPweb
being the shared sources and generated html for the MSP website
jfdm/notes
jfdm/olai-lang
Adventures in Imperative languages in Idris2.
jfdm/rabe
rabe is an Attribute Based Encryption library, written in Rust
jfdm/scottish-pl-institute.github.io
SPLI website
jfdm/verismith
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.