Renan Ribeiro's repositories
bridge-lang
A different interepretation of purity
agda-sequent-calculus
Some Sequent Calculus with Agda
Language:Agda000
artsenio-tester
The arseyio tester, but with a modified keyboard layout
Language:TypeScriptApache-2.0000
cc65
cc65 - a freeware C compiler for 6502 based systems
Language:CZlib000
clj-kondo
Static analyzer and linter for Clojure code that sparks joy
Language:ClojureEPL-1.0000
000
elm-bigint
An elm implementation of the BigInt paradigm.
Language:ElmMIT000
lisp-attempt-1
A rudimentary attempt at making a lisp.
logisim-evolution
Digital logic design tool and simulator
Language:JavaGPL-3.0000
nix-java-introcs
A simple nix flake for java-introcs
Language:Kotlin000
Language:Python000
nix-llvm-mos-sdk-bin
A simple nix flake for llvm-mos-sdk binaries
nushell
A new type of shell
Language:RustMIT000
Language:GDScript000
ralsei-gen
Tables for ralsei-nes
Language:ClojureNOASSERTION000
ralsei-nes
My introduction to NES 6502
random-user-frontend-clone
A partial clone of the frontend of https://randomuser.me/
Language:Elm000
simple-devshell-flake
A simple nix flake with devShell