Skip to content

adri326/adri326

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

28 Commits
 
 

Repository files navigation

I am also hosting some of these projects over on my gitea instance!

My projects, sorted by category 🏳️‍🌈

Highlights 🌟

5D Chess ♟️

My projects around the game called 5D Chess with Multiverse Time Travel

Weekend projects ☁️

Small projects that I started over a weekend, as a mean for me to take my mind off.

Dwarf Fortress-related ⛏️

My projects around the game Dwarf Fortress

School 🕝

The projects that I had to do for school.

  • ifd-project, person counter using two laser beams+sensor and an arduino. ⟨C++⟩
  • lo21-project, theorem prover using boolean logic as first-class citizen. ⟨C⟩
  • language-kb, language support for lo21-project. ⟨TextMate⟩
  • lists.c, generic list structures in pure C, using macros. ⟨C⟩
  • character-graph, cleaned-up code to generate a character graph. ⟨R⟩
  • ife-project, game of "Belotte Coinchée", using SDL2. ⟨C⟩
  • lp25-exs, exercises in pure C and shellscript. ⟨C, ShellScript, Bash⟩
  • lp25-project, simple tree traversal program. ⟨C⟩
  • ap4a-project, a (virtual) sensor handler. ⟨C++⟩
  • ia41-exs, set of exercises for the IA41 class. ⟨Prolog, Python⟩
  • sy40-exs, set of exercises for the SY40 class. ⟨C⟩
  • Quick berkeley UPC build scripts, scripts to build and install the berkeley UPC suite. ⟨ShellScript⟩
  • pc40-upc, project in UPC for the PC40 class. ⟨C, UPC⟩
  • petri.rs, a tool for automatically verifying properties of petri networks. ⟨Rust, DOT⟩
  • mdc, a modular desk calculator based on GNU dc. ⟨C⟩

About

Not-so-secret secret custom profile page

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published