Pinned Repositories
benda
Numba-like Python translation to HVM
Kindelia
An efficient, secure cryptocomputer
2048_c
Console version of the 2048 written in C.
c-to-wasm-compiler-project
Small C to WebAsssembly compiler developed for the Compilers course at UFES
discord-quoter-bot
Selfbot for quoting/replying other Discord users.
dotfiles
kind2-syntax-proposal
no-ip-updater
Python module to update No-IP DDNS entries.
rustie-ts
Small TS library to type and safely handle `serde` JSON serializations of Rust enums.
twitter-relationships
Shows a list of users in each one of the possible intersections of followers / following relationships between two users.
steinerkelvin's Repositories
steinerkelvin/rustie-ts
Small TS library to type and safely handle `serde` JSON serializations of Rust enums.
steinerkelvin/no-ip-updater
Python module to update No-IP DDNS entries.
steinerkelvin/dotfiles
steinerkelvin/kind2-syntax-proposal
steinerkelvin/NoMonth
DRAFT of the NoMonth manifesto.
steinerkelvin/aoc-2023
steinerkelvin/confignator
steinerkelvin/Kind2
Kind refactor based on HVM
steinerkelvin/Kindelia
Kindelia: an efficient, secure cryptocomputer
steinerkelvin/project-caeon
Compute for Ages
steinerkelvin/telegram-inline-stickers-bot
steinerkelvin/alfred
steinerkelvin/algonum2
steinerkelvin/commune-node-test
steinerkelvin/duckdns-script
Updates DuckDNS records. Auto detects IPv6 with seeip.org.
steinerkelvin/fewsnap-rs
O(log(t)) snapshot layers
steinerkelvin/HVM
A massively parallel, optimal functional runtime in Rust.
steinerkelvin/hvm_graph
HVM graph interpreter
steinerkelvin/k-ddns
Automatiaclly update DynV6 DDNS records
steinerkelvin/Kind
A modern proof language
steinerkelvin/logseq-config
steinerkelvin/music_system
steinerkelvin/nixpkgs
Nix Packages collection & NixOS
steinerkelvin/omninbox
All you need to look at, in a single place.
steinerkelvin/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
steinerkelvin/rust-bip39
A Rust library for working with Bitcoin BIP-39 mnemonics
steinerkelvin/safetensors
Simple, safe way to store and distribute tensors
steinerkelvin/steinerkelvin
steinerkelvin/steinerkelvin.github.io
my blog
steinerkelvin/Ubilog
A simple, data-only, no-coin blockchain.