RΓ©gis Blanc (@regb)
github

regb

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    339
  • Global Rank 77,989 (Top 3 %)
  • Followers 50
  • Following 31
  • Registered over 13 years ago
  • Most used languages
    Scala
         69.2 %
    SMT     15.4 %
    Shell
         7.7 %
    Go
         7.7 %
  • Location πŸ‡¨πŸ‡­ Switzerland
  • Country Total Rank 37,337
  • Country Ranking
    SMT     1
    Scala
         17
    Go
         491
    Shell
         1,242

Top repositories

1

scala-game-library

Scala library for cross-platform 2D game development
Scala
147
star
2

cafesat

The CafeSat SMT solver for Scala
SMT
46
star
3

scala-smtlib

Scala library for parsing and printing the SMT-LIB format
SMT
43
star
4

scalanative-graphics-bindings

OpenGL and SDL2 bindings for Scala Native
Scala
40
star
5

scabolic

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

scalavator

The unofficial Scala game
Scala
11
star
7

recipe-book

My favourite recipes
3
star
8

executable-mocks

Generate mocks for efficiently testing executables
Go
3
star
9

cafedoku

Sudoku solver based on the CafeSat solver
Scala
3
star
10

Reglang

New programming language
Scala
3
star
11

inca

Design progress on the Inca programming language
2
star
12

scala-sexprs

Utilities to manipulate S-Expressions in Scala
Scala
1
star
13

scalax

Scala symbolic expressions
Scala
1
star
14

sgl-starter-project

A simple starter project to use SGL
Scala
1
star
15

passman

Password manager for unix
Shell
1
star