Skip to content
View dobios's full-sized avatar
☃️
Wishing for snow
☃️
Wishing for snow
60 followers · 56 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: StarstruckAchievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: StarstruckAchievement: QuickdrawAchievement: YOLO

Organizations

@llvm @chipsalliance @chiselverify @GameLab-UNIL-EPFL

Block or report dobios

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
dobios/README.md

Overview: I'm currently looking into rethinking hardware description languages to utilize stronger type-systems and more dataflowy constructs.

For Software

  • Most of my work is usually on a compiler or a compiler-like verification tool, fo 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, but I am an awful hardware engineer ^^".
  • Most of my work here will be on the languages people use to implement and verify their designs.
  • I'm a frequent contributor to CIRCT and sometimes Chisel.

For Video-Games

  • Godot is great, lightweight, easy to use, and FOSS.

Pinned Loading

  1. llvm/circt llvm/circt Public

    Circuit IR Compilers and Tools

    C++ 1.7k 322

  2. chiselverify/chiselverify chiselverify/chiselverify Public

    A dynamic verification library for Chisel.

    Scala 146 23

  3. chipsalliance/chisel chipsalliance/chisel Public

    Chisel: A Modern Hardware Design Language

    Scala 4.2k 616

  4. btor2-opt btor2-opt Public

    Very basic btor2 parser, circuit miter, and code optimizer

    Python 7 1

  5. GameLab-UNIL-EPFL/Lausanne-1830 GameLab-UNIL-EPFL/Lausanne-1830 Public

    Winner of the Swiss Game Award 2022 for Best Serious Game. Open-Source Historically accurate RPG based in 1830s Lausanne.

    C# 26 7

  6. usi-sweet-sure/EnsuredEnergy usi-sweet-sure/EnsuredEnergy Public

    Repository for the sustainable development tycoon game, being developped under the SURE project.

    C# 2 5