tarberd

dotfiles

My config files

ekitai

Ekitai is a small programming language with refinement types that compiles to binary code using the LLVM ecosystem.

cmake-project-template

modern cmake project with multi-repo project support

toy-compiler

formally-cool

formally-cool is a library for representing regular and context free languages.

prime-generator

tese-bernardo-ferrari

tarberd.me

My personal blog.

artificial-intelligence-class-assignments

Assignments for artificial inteligence undergrad classes

clk_routing

compilee

cool_gl

delta-t

discretemaths_funcprog

Exercises from Discrete Mathematics and Functional Programing from Thomas VanDrunen

django-playground

dragon-book

Exercises and doodles about the AHO compiles book.

explaining_modern_cpp

Brief explanation of modern cpp bulshitery

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

mmm

nanvix

An Operating System for Manycore Platforms

numerical_calculus

personal-finances

pkg-scripts

Scripts and config files to help me package software to any Linux distro I'm willing to :)

security-class-assignments

simple-raft

tarberd-cv

undergraduete-thesis

Repositiri for the development of documents needed for my graduation.

units

a compile-time, header-only, dimensional analysis and unit conversion library built on c++14 with no dependencies.

v-project

𝛎-project uses templates and custom pre/post-commands to generate new projects (such as LaTeX projects, etc.)

vulkan-tutorial