Pinned Repositories
AdventOfCode
My solutions for the yearly Advent of Code puzzles
ApaTypeAnalysis
Course assignment for Automatic Program Analysis
bot-discord
cargo
The Rust package manager
chalk
A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler
compiler
A compiler written in C++11 for a functional language
euler-shortest
Shortest possible solutions to Project Euler problems
OmnifactoryGuides
Repo for holding guides for the Omnifactory modpack
chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
rust-analyzer
A Rust compiler front-end for IDEs
detrumi's Repositories
detrumi/compiler
A compiler written in C++11 for a functional language
detrumi/AdventOfCode
My solutions for the yearly Advent of Code puzzles
detrumi/euler-shortest
Shortest possible solutions to Project Euler problems
detrumi/ApaTypeAnalysis
Course assignment for Automatic Program Analysis
detrumi/bot-discord
detrumi/cargo
The Rust package manager
detrumi/chalk
A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler
detrumi/OmnifactoryGuides
Repo for holding guides for the Omnifactory modpack
detrumi/openage
Free (as in freedom) open source clone of the Age of Empires II engine.
detrumi/openage-data
Free (as in freedom) media files for openage.
detrumi/proptest
Hypothesis-like property testing for Rust
detrumi/rust
A safe, concurrent, practical language.
detrumi/rust-analyzer
An experimental Rust compiler front-end for IDEs
detrumi/rust-analyzer-wasm
Experimental WASM-powered Rust-playground using rust-analyzer
detrumi/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
detrumi/rust-leergang
Exercises and following along with the Rust Programming Language book
detrumi/TPT-2014
Theory of Programming and Types, academic year 2014-2015
detrumi/wg-traits
Home of the "traits working group", affiliated with the compiler and lang teams.