BDD based DQBF solver

A knowledge compiler for wDNNF, pwDNNF, nwDNNF and (s)d-DNNF circuits

The missing backend framework for React.

A SystemVerilog synthesizer for Minecraft redstone

Multi functional app to find duplicates, empty folders, similar images etc.

PixiEditor is a Universal Editor for all your 2D needs

Make your JSON data collaborative and version-controlled with CRDTs

A memory safe Lua interpreter

2 and 3-dimensional fluid simulation library in Rust.

Source code for the Mun language and runtime.

A library for rust that implements basic sourcemap handling

High level bindings to the quickjs javascript engine

Decision diagram visualization tool

Compile-time type-checked builder derive

NVR with realtime local object detection for IP cameras

The Git repository for the mCRL2 toolset.

IP addresses break, dial keys instead. A library that adds QUIC + NAT Traversal to your apps.

Simplify three.js development, including events, drag & drop, binding, focus management, smart rendering, tweening and more.

A framework for saving and loading application state in Bevy.

GGRS is a reimagination of GGPO, enabling P2P rollback networking in Rust. Rollback to the future!

Bun library for Buntralino. Buntralino unites Bun and Neutralino.js to make a simpler, lighter alternative to Electron and NW.js. Use Neutralino.js API at client and send harder tasks to Bun while …

Inspector plugin for the bevy game engine

Pathfinding on NavMeshes for Bevy

ECS-driven 2D and 3D physics engine for the Bevy game engine.