JonathanLorimer

nix-config

My home manager config

templates

cfg

Simple Haskell configuration library

jonathanlorimer.github.io

hs-connection

simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.

numis

A domain specific language for financial relations

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

aeson

A fast Haskell JSON library

amazonka

A comprehensive Amazon Web Services SDK for Haskell.

aoc

apalache

APALACHE: symbolic model checker for TLA+

certainty-by-construction

Working through Sandy Maguire's book Certainty By Construction

cornelis

a decent agda mode for neovim

cosmosnix.store

derivations-and-stdenv

gomod2nix

Convert applications using Go modules to Nix expressions

graph-play

hasql-interpolate

jj

A Git-compatible VCS that is both simple and powerful

klare

lucid-htmx

lucid + htmx = lucid-htmx

namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

network-transport

Generic Network.Transport API

nix-std

no-nixpkgs standard library for the nix expression language

parconc

Working through "Parallel and Concurrent Programming in Haskell"

servant-multipart

Support for file uploads in multipart/form-data for servant

servant-openapi3

OpenAPI 3.0 for Servant

simplexmq

⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

tabnine-nvim

Tabnine Client for Neovim

v4-chain