dobios

PhD Student @ Princeton CS | PL Design & HW Verification | MSc ETH CS, BSc EPFL CS

Princeton University Princeton, NJ

Pinned Repositories

chisel
Chisel: A Modern Hardware Design Language
Language:Scala3.9k 149 1k589
chiselverify
A dynamic verification library for Chisel.
Language:Scala138 12 1322
AutomatedSoftwareTesting
Repository for my automated software testing assignments
Language:LLVM0 1 00
btor2-opt
Very basic btor2 parser, circuit miter, and code optimizer
Language:Python5 1 31
cae-lab
Lab Material for CAE
Language:Assembly0 1 00
chisel
Chisel: A Modern Hardware Design Language
Language:Scala0 0 00
chisel-template
A template project for beginning new Chisel work
Language:Scala0 0 00
Lausanne-1830
Winner of the Swiss Game Award 2022 for Best Serious Game. Open-Source Historically accurate RPG based in 1830s Lausanne.
Language:C#26 4 1367
circt
Circuit IR Compilers and Tools
Language:C++1.6k 258 2.1k285
EnsuredEnergy
Repository for the sustainable development tycoon game, being developped under the SURE project.
Language:C#2 1 866

dobios's Repositories

dobios/btor2-opt
Very basic btor2 parser, circuit miter, and code optimizer
Language:Python5 1 31
dobios/AutomatedSoftwareTesting
Repository for my automated software testing assignments
Language:LLVM0 1 00
dobios/cae-lab
Lab Material for CAE
Language:Assembly0 1 00
dobios/chisel
Chisel: A Modern Hardware Design Language
Language:Scala0 0 00
dobios/chisel-template
A template project for beginning new Chisel work
Language:Scala0 0 00
dobios/circt
Circuit IR Compilers and Tools
Language:C++0 0 00
dobios/Dobios
Config files for my GitHub profile.
00
dobios/Fast-Generalized-Floyd-Warshall
Optimized code generator for the floyd warshall algorithm
Language:C00
dobios/Gameboj
Language:Java0 1 00
dobios/Koyamaki
A little ray tracer I'm writing from scratch in cpp.
Language:C++00
dobios/Koyamaki-scala
A scala implementation of the Koyamaki renderer
Language:Scala0 2 90
dobios/dobios.github.io
Language:HTML1 0
dobios/Modern-Road-Segmentation
Language:Python1 0
dobios/NcursesPong
Simple pong game developed in C using the ncurses library.
Language:C
dobios/PermafrostTilter
Small platformer based on avoiding the cold and trying to stay warm.
Language:Java1 0
dobios/ProgramVerification
Repository containing my work done for the Program Verification course.
Language:Python1 0
dobios/RaytracingAccelerator
Ray-tracing hardware accelerator for the Nori Physically Based Renderer, implemented in Chisel3.
Language:Verilog1 0
dobios/SVExhaustiveTester
Cycle-bound exhaustive differential tester for two logically equivalent designs.
Language:Python1 0
dobios/Thesis
A repository containing my scraps from my thesis
Language:TeX1 0
dobios/tomverbeure.github.io
Language:HTML0 0