lehmacdj Goto Github PK

haskell_scheme

My traversal through write you a scheme in 48 hours

homebrew-cask

A CLI workflow for the administration of Mac applications distributed as binaries

hoopl

Higher-order optimization library

hott

Homotopy type theory

idris-dev

A Dependently Typed Functional Programming Language

idris-vim

Idris mode for vim

idris_experiments

idris_lambda_interpreter

A very simple lambda interpreter that I built using idris

ihp

λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.

imp-lang

An implementation of a small minimal imperative language

java-file-tree

A set of methods and a command line interface to some reflection and filesystem commands

jni-test

Test for JNI

kakoune

mawww's experiment for a better code editor

lambda-star

An implementation of λ* from https://doi.org/10.1145/2775051.2676976

lang-base

A few common functions for implementing small stateful Repls and interpreters for programming languages

language

My programming language playground project. Not intended to be particularly usable

learn-you-a-haskell

Snippets while reading "Learn You a Haskell for Great Good!" and other things while learning Haskell

light-rays.github.io

lottie-ios

An iOS library to natively render After Effects vector animations

mafia-sim

Various experiments in simulating the party game Mafia. This turns out to be quite a bit more complicated than one would have expected.

mafia_lang

A general purpose descriptive language defining mafia roles

mdbook

Create book from markdown files. Like Gitbook but implemented in Rust

mdwiki

A markdown text editor for iOS.

microsoft-graph-docs

Documentation for the Microsoft Graph REST API

mono-traversable

Type classes for mapping, folding, and traversing monomorphic containers

multiplayer-clock

neuron

Future-proof note-taking and publishing based on Zettelkasten

neuron.vim

📝 Manage your Zettelkasten in {n}vim.

next

nEXT - Be Productive.

nodal

A graph based note taking application