Zurich

Régis Blanc

Expert
@regb

Entrepreneur, game developer. builder, Scala enthusiast, ex-CTO, Xoogler. PhD from EPFL. Occasional MTG player. Just enjoy building cool stuff.

scala-game-library. Scala library for cross-platform 2D game development

160

cafesat. The CafeSat SMT solver for Scala

50

scala-smtlib. Scala library for parsing and printing the SMT-LIB format

47

scalanative-graphics-bindings. OpenGL and SDL2 bindings for Scala Native

46

scabolic. Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.

33

scalavator. The unofficial Scala game

11

recipe-book. My favourite recipes

4

cafedoku. Sudoku solver based on the CafeSat solver

3

executable-mocks. Generate mocks for efficiently testing executables

3

Reglang. New programming language

3

inca. Design progress on the Inca programming language

2

leon. The Leon system for verification, synthesis, and more.

2

scalax. Scala symbolic expressions

1

passman. Password manager for unix

1

scala-sexprs. Utilities to manipulate S-Expressions in Scala

1

sgl-starter-project. A simple starter project to use SGL

1
16
Apply