varlardohaeris

pybind11-cmake-example

programming-language-research-plt

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

jdk

JDK main-line development https://openjdk.org/projects/jdk

varlardohaeris

varlardohaeris.github.io

programming-language-research

Programming Language Research, Applied PLT & Compilers

seagle0128-emacs.d

Centaur Emacs - A Fancy and Fast Emacs Configuration

category-theory-resources

Resources for learning Category Theory for an enthusiast

plt

Programming Language Theory λΠ

.emacs.d