Pinned Repositories
.emacs.d
ACEcar-Fixes
Fixes for Saxion 2022 Project System ACEcar
all-flask_tasks-yandex
aoc.el
Convenience functions to submit solutions for advent of code puzzles from emacs
aoc2023
Advent of Code 2023 solutions in different languages
ghc-typelits-sopsat
secd-machine
SECD machine implemented in c++
sop-satisfier
Check satisfiability of expressions on natural numbers
University-Vault-Project-Arduino
University-Vault-Project-ESP32
NeuroCorgi's Repositories
NeuroCorgi/secd-machine
SECD machine implemented in c++
NeuroCorgi/University-Vault-Project-Arduino
NeuroCorgi/University-Vault-Project-ESP32
NeuroCorgi/University-Vault-Project-iOS-APP
NeuroCorgi/.emacs.d
NeuroCorgi/ACEcar-Fixes
Fixes for Saxion 2022 Project System ACEcar
NeuroCorgi/all-flask_tasks-yandex
NeuroCorgi/aoc.el
Convenience functions to submit solutions for advent of code puzzles from emacs
NeuroCorgi/aoc2023
Advent of Code 2023 solutions in different languages
NeuroCorgi/ghc-typelits-sopsat
NeuroCorgi/Parsers
Repo with implementations of different parsing algorithms
NeuroCorgi/sop-satisfier
Check satisfiability of expressions on natural numbers
NeuroCorgi/SPyQ
Python to SQL meta compiler
NeuroCorgi/aoc2022
Solutions for aoc in different languages
NeuroCorgi/elementary-ca
Elementary cellular automata as emacs mode
NeuroCorgi/flask-wtf-yandex-lyceum
NeuroCorgi/FlightRadar_bot
NeuroCorgi/GADT-C
An attempts to do GADT in C++
NeuroCorgi/other-game
NeuroCorgi/OwLex
Macro-based lexer/parser generator in Swift
NeuroCorgi/Queue-web-app
NeuroCorgi/Saxion-PyTorch-Car
NeuroCorgi/SimpleMCU-asm
Simple assembler for a simple micro controller
NeuroCorgi/University-Vault-Project-Server
NeuroCorgi/vm_challenge
Synacor vm challenge solution in Ocaml