NeuroCorgi

Aleksandr Pokatilov's repositories

secd-machine

SECD machine implemented in c++

Language:C++1 10

University-Vault-Project-Arduino

Language:C100

University-Vault-Project-ESP32

Language:C++100

University-Vault-Project-iOS-APP

Language:Swift100

.emacs.d

Language:Emacs Lisp010

ACEcar-Fixes

Fixes for Saxion 2022 Project System ACEcar

Language:Python000

all-flask_tasks-yandex

Language:Python000

aoc2023

Advent of Code 2023 solutions in different languages

Language:Python010

ghc-typelits-sopsat

Language:HaskellNOASSERTION000

Parsers

Repo with implementations of different parsing algorithms

Language:C++010

sop-satisfier

Check satisfiability of expressions on natural numbers

Language:HaskellNOASSERTION000

SPyQ

Python to SQL meta compiler

Language:Python010

aoc.el

Convenience functions to submit solutions for advent of code puzzles from emacs

Language:Emacs LispGPL-3.0010

aoc2022

Solutions for aoc in different languages

Language:Python010

elementary-ca

Elementary cellular automata as emacs mode

Language:Emacs Lisp010

flask-wtf-yandex-lyceum

Language:HTML000

FlightRadar_bot

Language:Python010

GADT-C

An attempts to do GADT in C++

Language:C++010

other-game

Language:Python010

OwLex

Macro-based lexer/parser generator in Swift

Language:Swift010

Queue-web-app

Language:Python000

Saxion-PyTorch-Car

Language:Jupyter Notebook000

SimpleMCU-asm

Simple assembler for a simple micro controller

Language:Rust000

University-Vault-Project-Server

Language:Python000

vm_challenge

Synacor vm challenge solution in Ocaml

Language:OCaml000