jake (riz0id)

riz0id

Geek Repo

Location:Texas

Twitter:@riz0id

Github PK Tool:Github PK Tool

jake's repositories

Language:HaskellLicense:ISCStargazers:5Issues:1Issues:0

prim-bool

Package providing primitive operations on unboxed booleans.

Language:HaskellLicense:ISCStargazers:1Issues:1Issues:0
Language:HaskellLicense:ISCStargazers:0Issues:1Issues:0
Language:HaskellLicense:ISCStargazers:0Issues:1Issues:0

axolab

Personal Agda development

Language:AgdaStargazers:0Issues:1Issues:0

bitmaps

Packed bitmaps

Language:HaskellLicense:ISCStargazers:0Issues:1Issues:0
Language:HaskellLicense:ISCStargazers:0Issues:1Issues:0
Language:HaskellStargazers:0Issues:1Issues:0

dot-doom

My doom-emacs configuration

Language:Emacs LispStargazers:0Issues:1Issues:0

eff

🚧 a work in progress effect system for Haskell 🚧

Language:HaskellLicense:ISCStargazers:0Issues:0Issues:0

emit

A pretty-printer I threw together for personal projects

Language:HaskellLicense:ISCStargazers:0Issues:1Issues:0

encode-zigzag

Haskell Zigzag encoding for signed integer types.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

hie-bios

Set up a GHC API session for various Haskell Projects

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

math-notes-tex-template

tex template I use for math notes

Language:TeXStargazers:0Issues:1Issues:0

mqtt-hs

Haskell MQTT client.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

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.

Language:PythonStargazers:0Issues:0Issues:0
Language:HaskellLicense:ISCStargazers:0Issues:0Issues:0
Language:AgdaStargazers:0Issues:0Issues:0
Language:HaskellLicense:ISCStargazers:0Issues:1Issues:0

prim-char

Facilities for working with unboxed characters.

Language:HaskellLicense:ISCStargazers:0Issues:0Issues:0

prim-compat

Backwards compatible GHC primitives.

Language:HaskellLicense:ISCStargazers:0Issues:1Issues:0

prim-int

Facilities for working with Haskell's unboxed integer types.

Language:HaskellLicense:ISCStargazers:0Issues:1Issues:0
Language:HaskellLicense:ISCStargazers:0Issues:1Issues:0
Language:HaskellLicense:ISCStargazers:0Issues:0Issues:0

source-locations

Creating and manipulation source file locations.

Language:HaskellLicense:ISCStargazers:0Issues:1Issues:0

swar

SWAR vectors and operations in Haskell

Language:HaskellStargazers:0Issues:0Issues:0
Language:HaskellLicense:ISCStargazers:0Issues:1Issues:0

template-helper

Useful functions using Template Haskell.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:HaskellLicense:ISCStargazers:0Issues:1Issues:0

zsh-nix-shell

zsh plugin that lets you use zsh in nix-shell shells.

Language:NixLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0