dobios Goto Github PK

• 👋 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.