Pinned Repositories
cosmos.nix
A reproducible package set for Cosmos, IBC and CosmWasm
book-of-monads
Exercises from the 'Book of Monads' by Alejandro Serrano Mena
conceptual-mathematics
Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
core-warn
Provide warnings for unexpected Core generation
htmx
jonathanlorimer.github.io
nix-config
My home manager config
plfa
Learning Agda
templates
weft
GraphQL Schema generation in Haskell
JonathanLorimer's Repositories
JonathanLorimer/nix-config
My home manager config
JonathanLorimer/htmx
JonathanLorimer/templates
JonathanLorimer/cfg
Simple Haskell configuration library
JonathanLorimer/jonathanlorimer.github.io
JonathanLorimer/numis
A domain specific language for financial relations
JonathanLorimer/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
JonathanLorimer/amazonka
A comprehensive Amazon Web Services SDK for Haskell.
JonathanLorimer/aoc
JonathanLorimer/certainty-by-construction
Working through Sandy Maguire's book Certainty By Construction
JonathanLorimer/cornelis
a decent agda mode for neovim
JonathanLorimer/cosmosnix.store
JonathanLorimer/derivations-and-stdenv
JonathanLorimer/gomod2nix
Convert applications using Go modules to Nix expressions
JonathanLorimer/graph-play
JonathanLorimer/haskell-oidc-client
OpenID Connect 1.0 client (RP) library for Haskell
JonathanLorimer/hasql
The fastest PostgreSQL libpq-based driver for Haskell
JonathanLorimer/hasql-effect
Graded monads for building in default postgres optimizations into hasql binds
JonathanLorimer/hasql-interpolate
JonathanLorimer/jj
A Git-compatible VCS that is both simple and powerful
JonathanLorimer/klare
JonathanLorimer/lucid
Clear to write, read and edit DSL for writing HTML
JonathanLorimer/lucid-svg
Clear to write, read and edit DSL for writing SVG, base on lucid
JonathanLorimer/mkCli
Simple development environment cli generator for nix
JonathanLorimer/namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
JonathanLorimer/nix-std
no-nixpkgs standard library for the nix expression language
JonathanLorimer/parconc
Working through "Parallel and Concurrent Programming in Haskell"
JonathanLorimer/reed-tt
JonathanLorimer/v4-chain
JonathanLorimer/witch
:mage_woman: Convert values from one type into another.