regb
Entrepreneur, game developer. builder, Scala enthusiast, Snowfaller, ex-CTO, Xoogler. PhD from EPFL. Occasional MTG player. Just enjoy building cool stuff.
SnowfallZurich
Pinned Repositories
cafedoku
Sudoku solver based on the CafeSat solver
cafesat
The CafeSat SMT solver for Scala
executable-mocks
Generate mocks for efficiently testing executables
recipe-book
My favourite recipes
Reglang
New programming language
scabolic
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
scala-game-library
Scala library for cross-platform 2D game development
scala-smtlib
Scala library for parsing and printing the SMT-LIB format
scalanative-graphics-bindings
OpenGL and SDL2 bindings for Scala Native
scalavator
The unofficial Scala game
regb's Repositories
regb/scala-game-library
Scala library for cross-platform 2D game development
regb/cafesat
The CafeSat SMT solver for Scala
regb/scala-smtlib
Scala library for parsing and printing the SMT-LIB format
regb/scalanative-graphics-bindings
OpenGL and SDL2 bindings for Scala Native
regb/scabolic
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
regb/scalavator
The unofficial Scala game
regb/cafedoku
Sudoku solver based on the CafeSat solver
regb/executable-mocks
Generate mocks for efficiently testing executables
regb/recipe-book
My favourite recipes
regb/Reglang
New programming language
regb/inca
Design progress on the Inca programming language
regb/leon
The Leon system for verification, synthesis, and more.
regb/passman
Password manager for unix
regb/scala-sexprs
Utilities to manipulate S-Expressions in Scala
regb/scalax
Scala symbolic expressions
regb/sgl-starter-project
A simple starter project to use SGL
regb/academic-page
My personal academic portfolio
regb/deck-sim
Simulatation framework to optimize deck building
regb/gatsby-starter-netlify-cms
regb/kalec
2d game in C++
regb/limetales-website
The Limetales website homepage
regb/railway-strapi-test
regb/scala-clu
A Command Line Utility framework for Scala
regb/vide
IDE based on VI text-editing