Pinned Repositories
analysis_in_lean
Real Analysis in Lean4
cquel-lite
facts_vs_events
gmalloc
haskell_assembler
An Assembler in Haskell
if_true_if_false
kernelito
OverDB
OverDB (yet another over engineered Database)
response_callback
y
Y lang
gabriel128's Repositories
gabriel128/kernelito
gabriel128/facts_vs_events
gabriel128/gmalloc
gabriel128/haskell_assembler
An Assembler in Haskell
gabriel128/polite-gem
A Gem to make objects messages a polite thing
gabriel128/agdnalysis
gabriel128/analysis_in_lean
Real Analysis in Lean4
gabriel128/cquel-lite
gabriel128/OverDB
OverDB (yet another over engineered Database)
gabriel128/torellOS
gabriel128/y
Y lang
gabriel128/algorithms
gabriel128/c_kernelito
Kernelito but in C
gabriel128/exercise_code
gabriel128/fp-course
Functional Programming Course
gabriel128/GabeLisp
Yet another lisp
gabriel128/haskell-books-and-exercises
gabriel128/machine_learning_theory
Coursera Machine Learning project in octave
gabriel128/megaparsec-site
*DEPRECATED* Site of Megaparsec project that provides educational materials
gabriel128/networking
Some low level networking things
gabriel128/news_feed
Playing with Tokio-RabbitMq-Cassandra
gabriel128/phe
Physics Engine
gabriel128/plfa.github.io
Introduction to programming language theory in Agda
gabriel128/prog_lang_foundations
gabriel128/pure-dss
Purely Functional Data Structures (Haskell)
gabriel128/relox
Programming language
gabriel128/robot
robot codig challenge
gabriel128/vim-dispatch
dispatch.vim: asynchronous build and test dispatcher
gabriel128/vim-template
Simple templates plugin for Vim
gabriel128/Y2
Y2 lang