Pinned Repositories
cg
drift
A tool for checking, verifying, archiving and studying mathematical proofs
esolangs
Collection of interpreters for esoteric programming languages
functasy
An esoteric Turing complete programming language
haskell-projects
Haskell projects
jstest
JavaScript testing framework
node-projects
JavaScript projects for Node.js
omikron
JavaScript framework
ultra-block
Advertisement blocking extension for Google Chrome
web
Web projects
Hakerh400's Repositories
Hakerh400/esolangs
Collection of interpreters for esoteric programming languages
Hakerh400/ultra-block
Advertisement blocking extension for Google Chrome
Hakerh400/cg
Hakerh400/drift
A tool for checking, verifying, archiving and studying mathematical proofs
Hakerh400/haskell-projects
Haskell projects
Hakerh400/omikron
JavaScript framework
Hakerh400/web
Web projects
Hakerh400/node-projects
JavaScript projects for Node.js
Hakerh400/bin
Hakerh400/config
Configuration settings
Hakerh400/cpp-projects
C++ projects
Hakerh400/drift-hs
Theorem prover
Hakerh400/elegant-code
Hakerh400/esolangs-hs
Haskell implementation of some esoteric programming languages
Hakerh400/ffmpeg-projects
Various scripts for FFmpeg
Hakerh400/fs-rec
Iterative implementation of recursive operations for Node.js file system module
Hakerh400/Hakerh400
Hakerh400
Hakerh400/images-backup
images-backup
Hakerh400/language-javascript
JavaScript language package for Atom
Hakerh400/list
Double-linked list implementation in JavaScript
Hakerh400/meadow
Computational model
Hakerh400/min
A fast, minimal browser that protects your privacy
Hakerh400/sayonarray
A logic puzzle game
Hakerh400/table
ASCII-art table visualizer
Hakerh400/test
Repository for experiments
Hakerh400/test1
Test
Hakerh400/test2
Hakerh400/test3
Hakerh400/tio
Try it online!
Hakerh400/z3-projects
Z3 theorem prover projects