steinerkelvin

Kelvin Steiner's repositories

no-ip-updater

Python module to update No-IP DDNS entries.

Language:Python9 1 1

rustie-ts

Small TS library to type and safely handle `serde` JSON serializations of Rust enums.

Language:TypeScript9 10

dotfiles

Language:Nix8 10

kind2-syntax-proposal

Language:JavaScriptMIT300

NoMonth

DRAFT of the NoMonth manifesto.

2 1 1

aoc-2023

Language:Rust1 10

confignator

Language:TypeScript100

Kind2

Kind refactor based on HVM

Language:Rust100

Kindelia

Kindelia: an efficient, secure cryptocomputer

Language:Rust100

project-caeon

Compute for Ages

Language:Nix100

telegram-inline-stickers-bot

Language:TypeScript1 10

alfred

Language:Rust010

algonum2

Language:MATLAB010

commune-node-test

Language:Shell000

duckdns-script

Updates DuckDNS records. Auto detects IPv6 with seeip.org.

Language:Shell020

fewsnap-rs

O(log(t)) snapshot layers

Language:Rust020

HVM

A massively parallel, optimal functional runtime in Rust.

Language:RustMIT000

hvm_graph

HVM graph interpreter

Language:Rust010

k-ddns

Automatiaclly update DynV6 DDNS records

Language:Rust01 1

Kind

A modern proof language

Language:JavaScriptMIT000

logseq-config

000

music_system

Language:Elixir010

nixpkgs

Nix Packages collection & NixOS

Language:NixMIT000

omninbox

All you need to look at, in a single place.

000

poetry2nix

Convert poetry projects to nix automagically [maintainer=@adisbladis]

Language:NixMIT000

rust-bip39

A Rust library for working with Bitcoin BIP-39 mnemonics

Language:RustCC0-1.0000

safetensors

Simple, safe way to store and distribute tensors

Language:PythonApache-2.0000

steinerkelvin

010

steinerkelvin.github.io

my blog

Language:HTML010

Ubilog

A simple, data-only, no-coin blockchain.

Language:TypeScriptMIT000