Pinned Repositories
asielauncher
AsieLauncher, a simple to manage and use Minecraft launcher
Bijectors.jl
Implementation of normalising flows and constrained random variable transformations
binary-derive
derive instances of binary
earley-monad
An Earley/GLL parser with a Monad instance, a la Meerkat
ghc-whole-program-compiler-project
GHC Whole Program Compiler and External STG IR tooling
haskell
An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
homebrew-science
:beer::microscope: Scientific formulae for the Homebrew package manager
Idris-dev
A Dependently Typed Functional Programming Language
trufflestg
wip, haskell stg on truffle
nixpkgs
Nix Packages collection & NixOS
acertain's Repositories
acertain/trufflestg
wip, haskell stg on truffle
acertain/asielauncher
AsieLauncher, a simple to manage and use Minecraft launcher
acertain/Bijectors.jl
Implementation of normalising flows and constrained random variable transformations
acertain/binary-derive
derive instances of binary
acertain/earley-monad
An Earley/GLL parser with a Monad instance, a la Meerkat
acertain/ghc-whole-program-compiler-project
GHC Whole Program Compiler and External STG IR tooling
acertain/haskell
An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
acertain/homebrew-science
:beer::microscope: Scientific formulae for the Homebrew package manager
acertain/Idris-dev
A Dependently Typed Functional Programming Language
acertain/macropy
Macros in Python: quasiquotes, case classes, LINQ and more!
acertain/miryoku_zmk
Miryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku ZMK is the Miryoku implementation for ZMK.
acertain/nixpkgs
Nix Packages collection
acertain/parsers
Generic parser combinators
acertain/pointedlist
A PointedList tracks the position in a non-empty list which works similarly to a zipper. A current item is always required, and therefore the list may never be empty. A circular PointedList wraps around to the other end when progressing past the actual edge.
acertain/Revise.jl
Automatically update function definitions in a running Julia session
acertain/spacy
wip implementation of SPACER in haskell
acertain/tog
acertain/vimium
The hacker's browser.
acertain/yi
The Haskell-Scriptable Editor