Pinned Repositories
bf-rs
a brainfuck interpreter + compiler written in Rust
btcc
a Boolfuck To Ctfuck Compiler
conways-rs
a command line conway's game of life written in rust
ctfuck
a turing complete esolang based on a tag system, with I/O support
esolangs
esolang implementations in rust
github-slideshow
A robot powered training repository :robot:
miniprolog
Prolog, but only the Horny part
nnoq
not noq
nyaya
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
rhokell
rho calculus + haskell thrown into the mixer
pro465's Repositories
pro465/esolangs
esolang implementations in rust
pro465/nnoq
not noq
pro465/rhokell
rho calculus + haskell thrown into the mixer
pro465/bf-rs
a brainfuck interpreter + compiler written in Rust
pro465/ctfuck
a turing complete esolang based on a tag system, with I/O support
pro465/github-slideshow
A robot powered training repository :robot:
pro465/lc3
a lc3 implementation in Rust
pro465/miniprolog
Prolog, but only the Horny part
pro465/nyaya
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
pro465/rho
rho calculus in rust
pro465/balloon
A memory-hard password hashing function.
pro465/base94
base94 implementation in rust
pro465/blog.rust-lang.org
The Rust Programming Language Blog
pro465/btcc
a Boolfuck To Ctfuck Compiler
pro465/buf
a rust library for multiple buffering
pro465/cg
code guessing (non-)submissions
pro465/countdown-sol
my solution to the countdown challenge by Another Roof
pro465/deckload
Compiled functional language
pro465/enc
password based encryption using ChaCha-20 cipher
pro465/Eqthy
A simple formalized language for equational proofs
pro465/gpu
trying out rust gpu support
pro465/icfp2006
my try of icfp2006 [ain't submitted]
pro465/lam
lambda calculus evaluator in rust
pro465/pro465
Config files for my GitHub profile.
pro465/pro465.github.io
pro465/qoir
QOI implemented in Rust
pro465/secure-code-game
my attempts at security
pro465/test_lib
a test library to learn to remotely use libraries hosted in github
pro465/viz
visualizations of stuff in Factor
pro465/Yolk
A tiny S-expression language with a tiny self-interpreter