Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by regb

A curated list of projects in awesome lists by regb .

https://github.com/regb/scala-game-library

Scala library for cross-platform 2D game development

game game-2d game-engine scala scala-android scala-library scala-native scalajs

Last synced: 22 Dec 2024

https://github.com/regb/cafesat

The CafeSat SMT solver for Scala

Last synced: 15 Nov 2024

https://github.com/regb/scala-smtlib

Scala library for parsing and printing the SMT-LIB format

scala scala-library smtlib smtlibv2

Last synced: 15 Nov 2024

https://github.com/regb/scabolic

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

Last synced: 15 Nov 2024

https://github.com/regb/reglang

New programming language

Last synced: 15 Nov 2024

https://github.com/regb/executable-mocks

Generate mocks for efficiently testing executables

Last synced: 15 Nov 2024

https://github.com/regb/recipe-book

My favourite recipes

favourite-recipes recipe

Last synced: 15 Nov 2024

https://github.com/regb/cafedoku

Sudoku solver based on the CafeSat solver

Last synced: 15 Nov 2024

https://github.com/regb/passman

Password manager for unix

Last synced: 15 Nov 2024

https://github.com/regb/inca

Design progress on the Inca programming language

Last synced: 15 Nov 2024

https://github.com/regb/scalax

Scala symbolic expressions

Last synced: 15 Nov 2024

https://github.com/regb/scala-sexprs

Utilities to manipulate S-Expressions in Scala

Last synced: 15 Nov 2024

https://github.com/regb/sgl-starter-project

A simple starter project to use SGL

Last synced: 15 Nov 2024

https://github.com/regb/vide

IDE based on VI text-editing

Last synced: 15 Nov 2024

https://github.com/regb/deck-sim

Simulatation framework to optimize deck building

Last synced: 15 Nov 2024

https://github.com/regb/academic-page

My personal academic portfolio

Last synced: 15 Nov 2024

https://github.com/regb/scala-clu

A Command Line Utility framework for Scala

Last synced: 15 Nov 2024

https://github.com/regb/kalec

2d game in C++

Last synced: 15 Nov 2024

https://github.com/regb/limetales-website

The Limetales website homepage

Last synced: 15 Nov 2024