jstolarek

runtime-spec

OCI Runtime Specification

blockchain-papers

A curated list of academic blockchain-related papers

LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

pi-forall

A demo implementation of a simple dependently-typed language

dolphin

Dolphin fork intended to give Metroid Prime Trilogy mouselook controls

codeblog

jscert

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

coq-haskell

A library for formalizing Haskell types and functions in Coq

lambdabot

A friendly IRC bot and apprentice coder, written in Haskell.

company-ghc

Company-mode completion back-end for haskell-mode via ghc-mod

type-inference

Unification and type inference algorithms

libx52

Saitek X52/X52pro drivers & controller mapping software for Linux

inch

A type-checker for Haskell with integer constraints

CoqAST

Fun plugin to play with the Gallina AST.

haskell.sty

LaTeX style file to typeset functional languages like Haskell

th-desugar

Desugars Template Haskell abstract syntax to a simpler format without changing semantics

img4dc

IMG4DC – Dreamcast Selfboot Toolkit. Generate ready-to-use disc images for your Sega Dreamcast system!

hxcpp

Runtime files for c++ backend for haxe