Giters
Sergio Bonatto (SergioBonatto)

SergioBonatto

Geek Repo

74

followers

101

following

74

stars

Company:HigherOrderCO

Location:São Paulo, SP

Home Page:https://sergiobonatto.github.io

Twitter:@fiBonatto

Github PK Tool:Github PK Tool

Organizations
dracula
HigherOrderCO
UwU-Jogos

Sergio Bonatto's starred repositories

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:180044Issues:7913Issues:0

computer-science

🎓 Path to a free self-taught education in Computer Science!

License:MITStargazers:170885Issues:5781Issues:641

stable-diffusion-webui

Stable Diffusion web UI

Language:PythonLicense:AGPL-3.0Stargazers:140916Issues:1076Issues:7649

Anime-Girls-Holding-Programming-Books

Anime Girls Holding Programming Books

Stargazers:18847Issues:215Issues:88

Bend

A massively parallel, high-level programming language

Language:RustLicense:Apache-2.0Stargazers:17287Issues:89Issues:254

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10455Issues:99Issues:190

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.

Language:TypeScriptLicense:GPL-3.0Stargazers:6030Issues:178Issues:4940

Kind

A modern proof language

Language:HaskellLicense:MITStargazers:3550Issues:74Issues:215

matematica

🧮 Um caminho para a educação autodidata em Matemática!

License:MITStargazers:859Issues:19Issues:4

Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Language:RustLicense:MITStargazers:761Issues:40Issues:8

hvm-64

Language:RustLicense:Apache-2.0Stargazers:497Issues:17Issues:16

AI-scripts

Some handy AI scripts

Language:JavaScriptStargazers:448Issues:10Issues:6

codocx

A ferramenta mais simples e fácil de usar para automatizar documentação de código

Language:TypeScriptLicense:MITStargazers:303Issues:0Issues:0

M2-4-2

Functional programming and type systems

Stargazers:115Issues:7Issues:0

bend-lang

Unofficial guide to Bend programming language

Language:MarkdownLicense:Apache-2.0Stargazers:26Issues:3Issues:0

monobook

AGDA

Language:AgdaStargazers:26Issues:0Issues:0

TaPL

TaPL implementation bits in Idris2

Language:IdrisStargazers:15Issues:2Issues:1

taemoba

Stargazers:13Issues:2Issues:0

bend-mlp

A simple MLP written in the recently released Bend programming language.

License:MITStargazers:8Issues:1Issues:0

bend-syntax-highlighter

Source code for vscode extension of Bend programming language.

Language:TypeScriptLicense:MITStargazers:8Issues:2Issues:1

hvm-os

A purely functional operating system

Language:AssemblyLicense:MITStargazers:7Issues:4Issues:0

kind-core

Language:HaskellLicense:MITStargazers:7Issues:0Issues:0

ferrugem-lang

a compiler

Language:RustStargazers:3Issues:3Issues:0

nix-dellamora

Language:NixStargazers:2Issues:0Issues:0

projetoStable

Projeto sobre uma Stable/moeda digital anti-inflação

Language:JavaScriptStargazers:2Issues:1Issues:0

Bend-Book

Stargazers:2Issues:1Issues:0

kind-events

WebSocket event api draft

Language:RustStargazers:2Issues:2Issues:0

bend-asteroids

Language:RustStargazers:2Issues:0Issues:0

Jogo-do-n-mero-secreto

Um joguinho de adivinhar o número.

Language:HTMLStargazers:1Issues:0Issues:0

codocx

A ferramenta mais simples e fácil de usar para automatizar documentação de código

Language:TypeScriptLicense:MITStargazers:1Issues:0Issues:0