Hithroc

Artyom Kuznetsov's repositories

In-browser emulator of Hack CPU from nand2tetris course

Language:TypeScriptMIT10 40

Script for fixing RD heart at /r/place

Language:Python5 50

MLP:CCG Draft Simulator

Language:HaskellBSD-3-Clause2 4 24

Spontaneous level pack for Open Hexagon

Language:LuaBSD-3-Clause1 30

A Learning Environment for Theorem Proving with the Coq proof assistant

Language:CoqLGPL-2.1000

Proposed compiler and language changes for GHC and GHC/Haskell

Language:Python000

Nix (shell) expression for working on GHC

Language:NixBSD-3-Clause000

Deck exporter for MLP:CCG

Language:JavaScript030

Nix Packages collection

Language:NixMIT020

Simple tree utility for mirea haskell lectures

Language:Haskell03 1

Discord bot source for doing pony CCG things!

Language:TypeScriptUnlicense010