mrkgnao Goto Github PK

llvm-hs-pretty

Pretty printer for LLVM AST to Textual IR

llvm-hs-typed

Dependently Typed LLVM IR

lnlhaskell

Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic

macroni

A customizable LaTeX macro file generator

math-old

Notes and solutions to math exercises I write up for myself.

mc-16

Live-TeXed notes from classes at Mathcamp '16.

mikrokosmos

Blog source, with Hakyll, type-of-html, and clay

miso

:ramen: A tasty Haskell front-end framework

miso-tutorial-app

GHCJS + Miso client, GHC + Servant server, Nix tying it all together

monclay

(WIP) A Splix.io clone in Haskell exposing a REST API

mrkgnao.github.io

Free and open-source Jekyll theme

mushu

Mushu is a minimalist MPD client with a TUI and an incremental fuzzy finder for your music library

mythical-compiler

Notes for a compiler for an as-yet-nonexistent language

neighbours

nf-ff

The analogy between number fields and function fields

nf3

nixpkgs

Nix Packages collection

notation

Collection of quotes on interesting notations & how they affect thought.

nphysics

2 and 3-dimensional rigid body physics engine for Rust.

number-spirals

A bit of ASCII art. Also, prime numbers.

oh-my-fish

The Fishshell Framework.

onedark.vim

A dark Vim/Neovim color scheme inspired by Atom's One Dark syntax theme.

pebble

A toy symbolic algebra / calculus library in Haskell

periphero

wip

phil2

Second iteration of my semi-serious toy compiler

pico

The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)

plane-isometries

Computations in the group M of plane isometries, in Haskell.

polybar

A fast and easy-to-use status bar

post-rfc

Blog post previews in need of peer review

prelude

Prelude is an enhanced Emacs 24 distribution that should make your experience with Emacs both more pleasant and more powerful.