Kauê Hunnicutt Bazilli's repositories
constrained.pl
Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.
formula-parser
A basic formula parser written in Rust
gameboy-emu-godot
A Gameboy emulator made with Godot
rust-blackhole
A blackhole raytracer written in Rust
space-invaders-emulator
An space invaders emulator
bakaq
Config files for my GitHub profile.
bakaq.github.io
My site
diff-geo-visualization
A visualization of parallel transport in a 2 dimensional manifold.
haskell-raytracer
Because I can
kanji-search
A simple kanji searcher
mandelbrot-webgl
An interactive mandelbrot visualization with WebGL.
quantum-simulator
A basic interactive quantum computer simulator
aoc2023
Advent of Code 2023
blog
Personal blog
collatz-tree
A Collatz conjecture tree visualization
cpu-raytracer
A basic CPU Raytracer
doclog
DocLog builds documentation from source code in Prolog
home-manager-config
My home-manager configuration.
inlined_partial_strings_experiment
An experiment to see how to implement heap inlined partial strings in Scryer Prolog, see https://github.com/mthom/scryer-prolog/issues/24.
mandelbrot-set
A Mandelbrot Set visualizer made with SDL2
Minesweeper
A minesweeper implementation in C++ using SDL2
monkeyscript-rust
A MonkeyScript interpreter writen in Rust.
PrisonersDilemmaTournament
Watch This Place's awesome video about iterated Prisoner's Dilemma for context! https://www.youtube.com/watch?v=BOvAbjfJ0x0
quantum-programming-drills
Programming drills from the book Quantum Computing for Computer Scientists by Noson S. Yanofsky and Mirco A. Mannucci
rule30conway
A simulation of feeding rule 30 into Conway's Game of Life
rust-riscv-os
A Rust RISC-V OS to learn embedded programming.
scryer-playground
Web playground to try Scryer Prolog in your browser!
scryer-prolog
A modern Prolog implementation written mostly in Rust.
wgpu
Safe and portable GPU abstraction in Rust, implementing WebGPU API.
zathura
a document viewer