6-day longest streak
👋 Hi, I’m a computer nerd from Switzerland. 📫 You can reach me via email ([email protected]). ✨ You can find my favorite stuff pinned on my profile, as well as…
- 👋 Hi, I’m a computer nerd from Switzerland.
- 📫 You can reach me via email ([email protected]).
- ✨ You can find my favorite stuff pinned on my profile, as well as on personal my website.
- I am trying to move my personal projects to codeberg, as it's EU-based and not forcing LLMs down everyone's throat like *some platforms*, so please join me there :)
For Software
- Most of my work is usually on a compiler or a compiler-like verification tool, for which I typically use MLIR.
- I will sometimes dable in something completely unrelated, so always keep your eyes open for that ;).
For Hardware
- I like reasoning about hardware, and have recently gotten back into actually building hardware using *Spade*.
- Most of my work here is on trying to unify the hardware ecosystem, by allowing languages to interoperate by sharing tooling and hopefully also, some day, by sharing type-systems.
- I try to use CIRCT for a lot of what I do, either in the main repo, or on my fork when it's a bit more niche.
For Video-Games
- Godot is great, lightweight, easy to use, and FOSS.
-
circt ★ PINNED ⑂
Circuit IR Compilers and Tools
C++ ★ 0 7d agoExplain → -
chisel ★ PINNED ⑂
Chisel: A Modern Hardware Design Language
Scala ★ 0 2y agoExplain → -
btor2-opt ★ PINNED
Btor2 parser, circuit mitter, and code optimizer
Python ★ 12 5mo agoExplain → -
dvrtl
WIP
Python ★ 1 8mo agoExplain → -
dobios.github.io
No description.
HTML ★ 0 6d agoExplain → -
yosys ⑂
Yosys Open SYnthesis Suite
★ 0 7d agoExplain → -
Dobios
Config files for my GitHub profile.
★ 0 21d agoExplain → -
qemu ⑂
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are disabled. Please only use release tarballs from the QEMU website.
★ 0 2mo agoExplain → -
buildroot.nix ⑂
Flake for building Buildroot using nix
Nix ★ 0 2mo agoExplain → -
patronus_eggmc ⑂
work in progress, playing around with btor2 in rust
SMT ★ 0 2mo agoExplain → -
calyx ⑂
Intermediate Language (IL) for Hardware Accelerator Generators
Rust ★ 0 2mo agoExplain → -
D-NeRF ⑂
No description.
Jupyter Notebook ★ 0 3mo agoExplain → -
www ⑂
SNS website
SCSS ★ 0 3mo agoExplain → -
woset-workshop.github.io ⑂
Workshop on Open-Source EDA Technology (WOSET)
★ 0 1y agoExplain → -
women-in-programming-languages-research ⑂
Women in Programming Languages and Software Engineering Research
★ 0 1y agoExplain → -
SVExhaustiveTester
Cycle-bound exhaustive differential tester for two logically equivalent designs.
Python ★ 0 2y agoExplain → -
chisel-template ⑂
A template project for beginning new Chisel work
★ 0 2y agoExplain → -
ProgramVerification
Repository containing my work done for the Program Verification course.
Python ★ 0 2y agoExplain → -
AutomatedSoftwareTesting
Repository for my automated software testing assignments
LLVM ★ 0 2y agoExplain → -
tomverbeure.github.io ⑂
No description.
HTML ★ 0 2y agoExplain → -
Thesis
A repository containing my scraps from my thesis
TeX ★ 0 2y agoExplain → -
Gameboj
No description.
Java ★ 0 3y agoExplain → -
Modern-Road-Segmentation
No description.
Python ★ 0 3y agoExplain → -
Fast-Generalized-Floyd-Warshall ⑂
Optimized code generator for the floyd warshall algorithm
★ 0 3y agoExplain → -
RaytracingAccelerator
Ray-tracing hardware accelerator for the Nori Physically Based Renderer, implemented in Chisel3.
Verilog ★ 0 3y agoExplain → -
NcursesPong
Simple pong game developed in C using the ncurses library.
C ★ 0 3y agoExplain → -
PermafrostTilter
Small platformer based on avoiding the cold and trying to stay warm.
Java ★ 0 3y agoExplain → -
Koyamaki-scala
A scala implementation of the Koyamaki renderer
Scala ★ 0 5y agoExplain → -
cae-lab ⑂
Lab Material for CAE
Assembly ★ 0 5y agoExplain → -
Koyamaki
A little ray tracer I'm writing from scratch in cpp.
C++ ★ 0 5y agoExplain →
No repos match these filters.