mrkgnao Goto Github PK

abseil

experiments in imperative incremental computation

afterburner

incremental UI in Rust

alacritty

A cross-platform, GPU-accelerated terminal emulator

ale

Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support

anki-editor

An Emacs package that helps you make Anki cards in Org-mode

ariadne-old

(inactive)

arithmetic-geometry

ats-postiats-release

ATS2: Unleashing the Potentials of Types and Templates

aura

A secure, multilingual package manager for Arch Linux and the AUR - Join us on Freenode in #aurapm, or in our Gitter room at https://gitter.im/aurapm/aura

bento

Create Snackbox bars in Python or with a simple YAML file!

bento-hs

A Haskell frontend to Snackbox

bi71

being a bidirectional reformulation of Martin-Löf's 1971 type theory

cabal-helper

Simple interface to some of Cabal's configuration state, used by ghc-mod. CI: https://gitlab.com/dxld/cabal-helper/pipelines

chicago-ug-math-bib

Chicago undergraduate mathematics bibliography

coda

A language experiment, something to do on my vacation -- irc.freenode.net ##coda

corewarhs

Core War VM using gloss (very WIP)

cube20rust

Rust port of Rokicki's cube20 representation and a human-method solver based on it

cubicaltt

Experimental implementation of Cubical Type Theory

cypherpunk-research

This repository is essentially for compiling information about Cypherpunks, the history of the movement, and the people/events of note.

delta

[still setting up] A few bits of Haskell code for working with finite differences.

doom.d

my doom.d

dotfiles

Ansible-generated dotfiles for NixOS.

dots

Slowly-being-migrated-to configuration for my laptop

drona

Drona is a programming framework for building safe robotics systems

dynamic-state

Library for serializable dynamic state keyed by type

ects

A simple write-only file backup system for a school setting. This is actually, uh, used in production ;)

eschatologist

evaluator

A math evaluator in Haskell.

expression

An expression evaluator in java.

foundation

Empire strikes back