maweki's Stars
TimelyDataflow/differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
comnik/declarative-dataflow
A reactive query engine built on differential dataflow.
sixthnormal/clj-3df
Clojure(Script) client for Declarative Dataflow.
frankmcsherry/dynamic-datalog
Engines, queries, and data for dynamic Datalog computation
EvgSkv/logica
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
graemedouglas/LittleD
A relational database for embedded devices and sensors nodes
vmware/differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
native2k/lvbRequester
small library to request information from LVB (l.de) website
albertogeniola/meross-homeassistant
Custom component that leverages the Meross IoT library to integrate with Homeassistant
opravdin/weback-hass
Weback integration with Home Assistant
Zettlr/Zettlr
Your One-Stop Publication Workbench
dreamer/luxtorpeda
Steam Play compatibility tool to run games using native Linux engines
knowrob/rosprolog
A bidirectional interface between ROS and Prolog
ethz-asl/ros-prolog
A C++ implementation for using Prolog in ROS.
sbs20/scanservjs
SANE scanner nodejs web ui
Moddable-OpenSource/moddable
Tools for developers to create truly open IoT products using standard JavaScript on low cost microcontrollers.
ChimeraOS/chimeraos
A Steam Big Picture based couch gaming OS
MagicMirrorOrg/MagicMirror
MagicMirror² is an open source modular smart mirror platform. With a growing list of installable modules, the MagicMirror² allows you to convert your hallway or bathroom mirror into your personal assistant.
threatgrid/naga
Datalog based rules engine
simonmichael/hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
containers/toolbox
Tool for interactive command line environments on Linux
tonsky/datascript
Immutable database and Datalog query engine for Clojure, ClojureScript and JS
replikativ/datahike
A fast, immutable, distributed & compositional Datalog engine for everyone.
pysathq/pysat
A toolkit for SAT-based prototyping in Python
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
winitzki/sofp
A free book: "The Science of Functional Programming"
Genymobile/scrcpy
Display and control your Android device
aceinnolab/Inkycal
Create awesome e-paper dashboards within minutes! Modularity? Check! Python3? Check? Works on Raspberry Pi Zero W? Check! Support for own modules? Check!
markfasheh/duperemove
Tools for deduping file systems
bvschaik/julius
An open source re-implementation of Caesar III