Brenno Rodrigues

lua4noobs. Tutorial De Lua para iniciantes na Linguagem.

sqlite-lean. Sqlite3 bindings for lean4

paxos-hs. Distributed consensus algorithm

typoggers-lang. Statically typed poggers programming language

lispoggers. Static typed lisp language [wip]

flean. foreing functions interface experiments in lean4

lambda-cube. lambda cube in lean4

brainfuck-sql. Brainfuck implementation using Sqlite-compatible SQL

gnosis. be not afraid, death to http [wip]

BRonen. https://bronen.com.br/

bitcask-hs. A Log-Structured Hash Table for Fast Key/Value Data

Doom-Fire. Doom fire effect made with Löve (https://love2d.org/) and a little tutorial at the README.md

phprio-docker. Shell

brainfuck-jq. Brainfuck implementation using JQ

poggers-lang. A poggers expression based programming language

FakePress. A web microframework made with node

RayCasting. Ray casting made with Löve2D

reaclj. React-like clojurescript library

json-parser-prolog. Json parser implementation using prolog

luajit-rinha-de-compiler. Lua

to-bot. Productivity system

consistent-bet. A bet system with consistent transactions

blog-back-template. Just a blog template made with node.js, express and sequelize.

Portfolio. Website made with next.js and tailwindcss

web-chat. A web chat made with socket.IO

Playground. Learning useful ways of thinking.

Songify. Web music player made with vue.js

vrr. Viewstamped replication revisited (WIP)

math-expression-interpreter. An math syntax interpreter with operators precedence

php-study. Just learning php

chitchat. Realtime text message chat

he4rtblog. Astro

github-profile-visualizer. Github user search and profile visualizer

tictoc. Experiments with rust

rusttp. Http server in rust

bitcask. Bitcask - A Log-Structured Hash Table for Fast Key/Value Data

kekwisp. Funny lisp interpreter

Reagir. Frontend framework made with typescript

4noobs.

love-autoreload. like a nodemon but to Löve2D