Artyom Kuznetsov's repositories
hack-emulator
In-browser emulator of Hack CPU from nand2tetris course
open-hexagon-faith
Spontaneous level pack for Open Hexagon
CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
Language:CoqLGPL-2.1000
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
Language:Python000
ghc.nix
Nix (shell) expression for working on GHC
Language:NixBSD-3-Clause000
tts-deck-creator
Deck exporter for MLP:CCG
nixpkgs
Nix Packages collection
MIT000
tree
Simple tree utility for mirea haskell lectures
Language:Haskell000
Triksi
Discord bot source for doing pony CCG things!
Unlicense000