prozacchiwawa Goto Github PK

haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

haskell-src-meta

Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.

icfp2016

icfp2017

icfp2017

icfp2018

My ICFP 2018 code.

icfp2020-fsharp-starter-pack

ICFP 2020 starter pack for F# using the csharp docker image

idris-barehw-experiment

A partial experiment building a 64-bit kernel in idris. Very WIP, some things just barely work

idris-binnum

idris2 binary number representation with proofs that allow bin and nat to fully interoperate in proofs

idris-codegen-wasm

WebAssembly Code Generation Backend for Idris Compiler

idris-effect-example

A commented example of an effect in idris. Hopefully this makes clearer what the purpose of each part is for somebody else.

idris-subleq

An exploration of a subleq machine whose type reflects its state

idris2

A purely functional programming language with first class types

idris2-alist

Lisp style alists that carry proofs that all elements are unique

idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

idrisjs

Js libraries for idris

imap-forwarder

A quick and dirty app to periodically forward messages from an imap box to an arbitrary address using mailgun

javatari

A multiplayer Atari 2600 emulator written in pure Java using no libs

k-bucket

Kademlia DHT K-bucket implementation as a binary tree

lbry

A fully decentralized network for distributing data

lbry-verification

ld38

Ludum Dare 38

lightbox-editor

A lightbox for matching html to images and doing markup editing

ludum-dare-37

My first ludum dare game jam project. Artwork by my brother.

machine-sketch

Playing around with nphysics in rust

merkleset

A highly performant merkle set data structure. To be ported to C later.

mexprp

A math expression evaluation library for rust

mio

Metal IO library for Rust

mirth

Compiler for the Mirth programming language, a type-safe functional Forth.

ml-stow

A quick and dirty imitation of gnu stow that isn't quite as pedantic

mlton

The MLton repository