- ๐ Hi, Iโm @Dobios
- ๐ Iโm interested in contemporary compiler designs as well as formal verification systems, really anything related to automated testing for both hardware and software, and also video-game developement.
- ๐ฑ Iโm currently learning about modern hardware compiler infrastructure (more specifically CIRCT).
- ๐๏ธ Iโm happy to collaborate on any free and open-source video game project :).
- ๐ซ You can reach me via email ([email protected]) or on linked-in.
- โจ You can find the external repositories to which I am a major/main contributor pinned in my profile ;).
- The main languages I work in are Scala, C#, C++, C, Python, (and Java but please don't ask me to do anything in that).
- I am also capable of getting things done in JS, Kotlin, Rust.
- For Parallel High Performance stuff, I can work with CUDA, OpenMP, AVX vector intrinsics, and MPI.
- I mostly work with Chisel, and VHDL.
- I also have some experience with SystemVerilog, and Verilog, as well as HLS.
- My favorite engine is Godot.
- I have also worked with MonoGame, Unity, Phaser, and bare-bones OpenGL.
Here is a list of the different projects that I'm currently actively working on.
- Field: Hardware Verification / Hardware Compilers
- Language: C++ / MLIR / LLVM / FIRRTL / BTOR2 / SMTLib / SystemVerilog
- Description: Augmenting the CIRCT compiler framework to enable the use of formal verification constructs in higher level hardware construction languages.
- Field: Video Games
- Language: C#
- Description: Game about managing the impacts of political policies and energy managment choices on the swiss energy grid and society.