einargs Goto Github PK

advent-of-code-2019-hs

Advent of code 2019 done in Haskell

adventofcode2019-hs

Haskell solutions to adventofcode2019

adventofcode2021

amber-site

aoc-2021

aoc-2022

armageddon-arduino

Arduino code for Project Armageddon.

armageddon-pi

Raspberry Pi device-side code for Project Armageddon.

armageddon-site

Website for Project Armageddon.

dep-lang

Experimenting with a dependent type system.

discord-werewolf

A Werewolf bot for discord.

einargs-blog

My site and future blog at einargs.dev

errata

Source code error pretty printing

esca

A simple project using angular, material design, and firebase to create a website for sharing and storing recipes.

fp-lifetimes

hakyll-blog

Blog.

ldep

Attempt to build a basic dependent language using F*

mech-oak

The Oakland High School Mechatronics website.

mypy

Optional static typing for Python

nifti-hs

Pure NIFTI transformations with Haskell

nix-inshellisense

Quick packaging of inshellisense to show a friend

nixos-azure-base

Small repo with notes on setting up a nixos VM inside azure cloud.

oxi_gen

plfa.github.io

Introduction to programming language theory in Agda

recipe-ocr

rll

Playing with a compiler for a functional language with linear types and rust style lifetime references.

runtime-ltl

Clang plugin for runtime LTL verification.

rust-screeps-code

scri

An extensible markup language designed to automate the bookkeeping involved in complex forum quests.

tnhimss-bill

Mtsu Bill Team repository for the 2023 TNHIMSS hackathon.