C++14 coroutine-based task library for games

KU Leuven Java Constraint Handling Rules

Cruise-control is the first of its kind to fully automate the dynamic workload rebalance and self-healing of a Kafka cluster. It provides great value to Kafka users by simplifying the operation of …

mtt: Model Transformation Tools, Bond-graph based modeling tools: A set of tools for modeling dynamic physical systems using the bond-graph methodology and transforming these models into representa…

A first repo, to practice with github

The best Prolog visualizer

PRolog Equation Solving System

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

An inductive logic programming system

Code dump, for now

Visualization of "Blob" programs

A compiler for little languages in tagged template strings

Automatically Interactive Graphics 🖼✨💯

by ex-googlers, for ex-googlers - a lookup table of similar tech & services

Haxe port of metazelda

A systems dynamics economics modeling software

a simple react wasm/rust demo

Perpetuum Standalone Server

Library for counting and enumerating things.

Attempts at fleshing out the concept of algorithmic violence.

CC500: a tiny self-hosting C compiler

Draws simple SVG sequence diagrams from textual representation of the diagram

A simple application, a JSON store of products and lists of products, as a demonstration using Backbone.js.

Lizard brain for game entities - a data-oriented behavior tree library in C

Code for the "Grammar Variational Autoencoder" https://arxiv.org/abs/1703.01925

Temporal graph store abstraction layer.

a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features