Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
☆33Dec 10, 2014Updated 11 years ago
Alternatives and similar repositories for scabolic
Users that are interested in scabolic are comparing it to the libraries listed below
Sorting:
- Interpreter of (a subset of) the Scheme programming language, in Scala☆29Jun 7, 2013Updated 12 years ago
- A Scala SDK for interfacing with HashiCorp's Nomad☆19Nov 30, 2022Updated 3 years ago
- ☆12Feb 28, 2021Updated 5 years ago
- Bolts: Stainless Verified Scala Examples☆29Feb 20, 2026Updated last week
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- GPU programming in Scala☆61May 17, 2012Updated 13 years ago
- An open-source endeavor to rewrite the first generation of Pokemon games in Java☆16Oct 23, 2014Updated 11 years ago
- The unofficial Scala game☆11Oct 26, 2020Updated 5 years ago
- Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool☆71Nov 25, 2019Updated 6 years ago
- A scala wrapper around libgdx☆11Nov 22, 2017Updated 8 years ago
- Scala 3D Engine☆25Apr 27, 2013Updated 12 years ago
- Voxel-based Editor☆13Jul 11, 2018Updated 7 years ago
- Scala port of JBox2D☆21Jun 25, 2009Updated 16 years ago
- The SubScript extension to the Scala programming language☆12May 20, 2015Updated 10 years ago
- Experimental support for coroutines-based generators in Ada☆13Nov 5, 2022Updated 3 years ago
- A fast, free and fun HTML5 Game Framework for Desktop and Mobile web browsers.☆16Jun 17, 2019Updated 6 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- Multi-player game with phaser.io and socket.io☆11Jul 26, 2016Updated 9 years ago
- Assembly Programming Learning Platform☆29Sep 16, 2012Updated 13 years ago
- The documentation for Pyret.☆10Feb 22, 2026Updated last week
- Electron facade for Scala.js☆11Jan 10, 2018Updated 8 years ago
- An experiment to compile Clojure to LLVM IR☆11Dec 17, 2013Updated 12 years ago
- PearOS - OS X Inspired OS for ComputerCraft☆16Sep 19, 2020Updated 5 years ago
- An extended version of JBullet offering integration for voxel worlds. Automation category: Terasology Library☆17Sep 20, 2020Updated 5 years ago
- Sources for Havlak Benchmark for several JVM Languages☆14Mar 23, 2014Updated 11 years ago
- Automatically wrap Scala classes that return Futures with a Circuit Breaker☆10Sep 18, 2016Updated 9 years ago
- A library that wraps Parinfer for Clojure and ClojureScript☆12Feb 19, 2020Updated 6 years ago
- Experimental standalone math and stuff. Automation category: Terasology Library☆13Mar 22, 2020Updated 5 years ago
- A fork of https://gitlab.ow2.org/asm/asm for the Scala compiler☆15Oct 31, 2025Updated 4 months ago
- The set of frameworks for MMO game server engine written for JVM on Scala and Java. Based on Akka middleware system.☆19Mar 31, 2014Updated 11 years ago
- Project TUSSLE - Overdrive Edition☆15Aug 13, 2020Updated 5 years ago
- a quantum simulator with pretty circuit DSL in Scala☆13Sep 27, 2018Updated 7 years ago
- An opensource Android launcher made with Kotlin☆14Aug 30, 2017Updated 8 years ago
- Create your game gui with nifty-editor and nifty-gui☆26Oct 15, 2014Updated 11 years ago
- a falling blocks clone☆30Mar 26, 2018Updated 7 years ago
- IDE for Java developers.☆12Dec 4, 2019Updated 6 years ago
- ☆10May 3, 2015Updated 10 years ago
- Sliding puzzle game implemented in Scala / Scala.js / JavaFX☆25May 15, 2020Updated 5 years ago