SergioBonatto
I am the father of Matteo, a Reformed theologian, self-taught, open-source philosophy enthusiast, nerd, handsome, and a non-practicing vegan
HigherOrderCO São Paulo, SP
SergioBonatto's Stars
torvalds/linux
Linux kernel source tree
ossu/computer-science
🎓 Path to a free self-taught education in Computer Science!
AUTOMATIC1111/stable-diffusion-webui
Stable Diffusion web UI
cat-milk/Anime-Girls-Holding-Programming-Books
Anime Girls Holding Programming Books
HigherOrderCO/Bend
A massively parallel, high-level programming language
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
tutao/tutanota
Tuta is an email service with a strong focus on security and privacy that lets you encrypt emails, contacts and calendar entries on all your devices.
Universidade-Livre/matematica
🧮 Um caminho para a educação autodidata em Matemática!
VictorTaelin/Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
wh0isdxk/DesenvolvimentoSeguro
Principios e Boas Práticas sobre Desenvolvimento Seguro
HigherOrderCO/hvm-64
HigherOrderCO/kind
Temporary repository for Kind2's refactor based on HVM2
VictorTaelin/abstract-algorithm
Optimal evaluator of λ-calculus terms.
MPRI/M2-4-2
Functional programming and type systems
scidsg/relaylove
❄️ Temporarily Share Your Bandwidth
geekyayush/bend-lang
Unofficial guide to Bend programming language
andorp/TaPL
TaPL implementation bits in Idris2
akaashdash/bend-mlp
A simple MLP written in the recently released Bend programming language.
leonardoSaaads/RustEm30Dias
O presente repositório é destinado ao aprendizado da linguagem de programação Rust. A meta estabelecida é ter uma noção prática, em 30 dias, da linguagem.
RohanVashisht1234/bend-syntax-highlighter
Source code for vscode extension of Bend programming language.
FranchuFranchu/hvm-os
A purely functional operating system
somecodingwitch/rust-rest-api
kingjotaro/api-petr4-graphql
api-petr4-graphql
eduhenke/ferrugem-lang
a compiler
kingjotaro/projetoStable
Projeto sobre uma Stable/moeda digital anti-inflação
mateusangelo/s145_8g_monterey
NaoEhSavio/Bend-Book
racs4/kind-events
WebSocket event api draft
GianlucaBonatto/Jogo-do-n-mero-secreto
Um joguinho de adivinhar o número.
o-santi/py-hvm