Light

steinerkelvin Goto Github PK

followers: 216.0 following: 155.0 repos: 44.0 gists: 43.0

Name: Kelvin Steiner

Type: User

Bio: computer nerd · descentralization-ist · FOSS · #bitcoin · https://linktr.ee/kelvinss

Twitter: steinerkelvin

Location: Brasil

Blog: https://www.linkedin.com/in/steinerkelvin

Hi there

I'm Kelvin.

I'm interested in and involved with:

Free and Open Source software
Decentralized and self-hosted stuff
Rust
Functional Programming $\lambda$
Bitcoin

Interested but ultra noob:

Philosophy (specially Epistemology)
Micro-economics
Cognition, Mind and the nature of Consciousness
anything evolutionary

(Definitely non-exhaustive) list of my favorite projects.

My dotfiles. And some of my usual stack/tools.

My not totally empty blog, lol.

I advocate for:

… instead of ...
floating cities in the middle of the ocean
new games getting local multiplayer
people wanting to play local multiplayer
they having the controllers to do so
nuclear energy
not calling Facebook "Meta", it's just offensive
nohello.net
boardgames
absolute free speech
deprecating months (years, weeks and day of year instead) (example date format on *nix)

Kelvin Steiner's Projects

2048_c

Console version of the 2048 written in C.

alfred

algonum2

aoc-2023

c-to-wasm-compiler-project

Small C to WebAsssembly compiler developed for the Compilers course at UFES

centos-packer

commune

Commune Repo

commune-node-test

confignator

ddc-monitor-control

Python script to control monitors using the ddcci-tool

discord-quoter-bot

Selfbot for quoting/replying other Discord users.

dotfiles

duckdns-script

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

ed2-trab3-cracker

Trabalho 3 de Estrutura de Dados 2: Password Cracking

explorer

fewsnap-rs

O(log(t)) snapshot layers

hvm

A massively parallel, optimal functional runtime in Rust.

hvm_graph

HVM graph interpreter

k-ddns

Automatiaclly update DynV6 DDNS records

kind

A modern proof language

kind2

Kind refactor based on HVM

kind2-syntax-proposal

kindelia

Kindelia: an efficient, secure cryptocomputer

lamrt

A next-gen, massively parallel, beta-optimal functional runtime.

lava-octane

Octane is a gasless transaction relayer for Solana.

macos-setup

music_system

no-ip-updater

Python module to update No-IP DDNS entries.

node-eval-interpolation-sandbox

Javascript string interpolation with sanboxed JS code

node-spotify-downloader

A CLI and GUI solution to download music from Spotify

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.