FinleyMcIlwaine

manim

Animation engine for explanatory math videos

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

infer

A static analyzer for Java, C, C++, and Objective-C

wasp

The fastest way to develop full-stack web apps with React & Node.js.

HelloSilicon

An introduction to ARM64 assembly on Apple Silicon Macs

haskell-nix

Nix and Haskell in production

optparse-applicative

Applicative option parser

nix-config

:space_invader: NixOS configuration

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

frap

Formal Reasoning About Programs

bnfc

BNF Converter

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

llvm-hs

Haskell bindings for LLVM

bril

an educational compiler intermediate representation

compiler

The adventures of a Haskell compiler

.dots

just my .dotfiles

yacv

Yet Another Compiler Visualizer

haskell-2020

Videos and exercises for the Haskell and Cryptocurrencies class.

lhs2tex

Preprocessor for typesetting Haskell sources with LaTeX

unfolder

Repository with code snippets that accompany episodes of The Haskell Unfolder

ghc-dump

A GHC plugin and library for analysing GHC Core

dependent-haskell

grapesy

Native Haskell gRPC client and server based on `http2`

reflex-realworld-workshop

A guided workshop through implementing the realworld demo app in obelisk.

arvo

A proof assistant.

hs-sleuth

This might one day be a thesis project

2021-ectf-insecure-example

Insecure reference example for the 2021 Collegiate eCTF

attovm

Optimising VM / Just-In-Time compiler for a small teaching language

dupIO

snappy-c

Bindings to the C API Google's Snappy: A fast compression library