Pinned Repositories
2d-heat-equations
2d heat simulation
algebras
chemical-abstract-machine
cycle-detection
extracting cycles as trees in linear time
kmeans
Fortran implementation of the KMeans++ algorithm ready for use in f2py
opal-lang
prim-bool
Package providing primitive operations on unboxed booleans.
Zeno
Cauchy sequences and constructive real numbers in Agda.
riz0id's Repositories
riz0id/opal-lang
riz0id/prim-bool
Package providing primitive operations on unboxed booleans.
riz0id/array-exceptions
riz0id/arrays
riz0id/axolab
Personal Agda development
riz0id/bitmaps
Packed bitmaps
riz0id/buffers
riz0id/bytevector
riz0id/cantor-diagonalization-argument-notes
riz0id/dot-doom
My doom-emacs configuration
riz0id/eff
🚧 a work in progress effect system for Haskell 🚧
riz0id/emit
A pretty-printer I threw together for personal projects
riz0id/encode-zigzag
Haskell Zigzag encoding for signed integer types.
riz0id/hie-bios
Set up a GHC API session for various Haskell Projects
riz0id/mqtt-hs
Haskell MQTT client.
riz0id/OSX-KVM
Run macOS on QEMU/KVM. With OpenCore + Big Sur + Monterey + Ventura support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
riz0id/parsel
riz0id/polarized
riz0id/prim-bytearray
WIP
riz0id/prim-char
Facilities for working with unboxed characters.
riz0id/prim-compat
Backwards compatible GHC primitives.
riz0id/prim-int
Facilities for working with Haskell's unboxed integer types.
riz0id/prim-ord
riz0id/showable
riz0id/source-locations
Creating and manipulation source file locations.
riz0id/swar
SWAR vectors and operations in Haskell
riz0id/tcp-port
riz0id/template-helper
Useful functions using Template Haskell.
riz0id/utf8-text
riz0id/zsh-nix-shell
zsh plugin that lets you use zsh in nix-shell shells.