GrayStylistWind / cubase

Cubase 13.0 pre-configured environment ready for deployment on isolated workstation with verified offline asset bundle.

fabox-os / Pro-Wave

ProWave, a music production Daw in the style of Logic Pro, written in pure Rust with egui. Tracks, MIDI and audio regions, piano roll, mixer and built-in synth. Builds for Windows, macOS and Linux

SWI-Prolog / swipl-devel

SWI-Prolog Main development repository

potassco / clingo

🦉 A grounder and solver for logic programs.

triska / the-power-of-prolog

The Power of Prolog: Introduction to modern Prolog

souffle-lang / souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

prove-rs / z3.rs

Rust bindings for the Z3 solver.

EvgSkv / logica

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

composewell / streamly

High performance, streaming and concurrent functional programming in Haskell

ichiban / prolog

The only reasonable scripting engine for Go.

NucleoidAI / Nucleoid

Synthesized Logic Language for World Models 🌱🐋🌍