fizzixnerd Goto Github PK

hstg

html2hamlet

HTML to Hamlet converter

idoc

A strongly typed markup language that compiles to HTML5 and LaTeX.

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

liquidhaskell

Liquid Types For Haskell

logger

A fast logging system for Haskell

lucid

The λucid typesetting system.

magic-makefiles

A bunch of makefiles that are magic and figure out dependencies for you and stuff

magic-repo

All my Magic: The Gathering info and card lists etc, in Magic Assistant format.

mat1750-project

mega-bibtex

A megaparsec implementation of parsers for BibTeX-style bibliography databases

mpc

A Parser Combinator library for C

my-mtl

Reimplementation of Haskell's mtl for learning purposes.

myriad

Myriad is a code generator for F#

netwire-input-glfw

MonadInput instances for GLFW based netwire programs

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-bitcoin

Bitcoin implementation in OCaml

ocaml-ctypes

Library for binding to C libraries using pure OCaml

ocaml-ledger-wallet

ocaml-living

A safer FFI interface for OCaml

ogl

OpenGL fun

one-true-monad-fs

The one true monad: Reader-Async-Result with StackTraces attached to the error component

plugins-ng

dynamic recompilation and loading of code. A replacement for the old plugins library but now based around the GHC API.

polysemy

:gemini: higher-order, no-boilerplate monads

purescript-screeps

PureScript wrapper library for the Screeps game API (https://screeps.com)

purescript-screeps-psc

screeps starter project

pydel

A Linux command line utility to cutely send files to the Gnome/KDE trash bin instead of deleting them outright.

qurry

A language for quantum computation, based on modern type theory.

runtimes

Kubeless function runtimes: https://kubeless.io/docs/runtimes/

rust-off

A project to shake the rust off