|
Rust |
540 |
A lightweight Datalog engine in Rust |
Aug 08, 2022 |
|
Rust |
53 |
A lightweight Datalog engine in Rust |
Apr 05, 2023 |
|
None |
6 |
A janet datalog engine |
Aug 09, 2021 |
|
Clojure |
374 |
Datalog based rules engine |
Apr 17, 2023 |
|
Clojure |
17 |
Datalog based rules engine |
Jun 24, 2022 |
|
Java |
12 |
Lightweight embedded java full text search engine |
Aug 06, 2021 |
|
C++ |
3 |
fast embedded lightweight cross platform scripting engine |
Jul 24, 2021 |
|
C# |
4 |
Strongly-typed Datalog implementation embedded in C# |
Apr 15, 2023 |
|
Rust |
4 |
Datalog engine based on DuckDB |
Mar 09, 2023 |
|
Java |
25 |
Kafka as a Datalog Engine |
Dec 20, 2022 |
|
Scala |
8 |
Difflog: Synthesizing Datalog Programs using Numerical Relaxation |
Apr 09, 2023 |
|
Java |
1172 |
Lightweight, embedded, syncable NoSQL database engine for Android. |
Aug 08, 2022 |
|
Rust |
15 |
Lightweight, embedded, syncable NoSQL database engine wrapper for Rust |
Apr 22, 2023 |
|
Rust |
290 |
Datalog compiler embedded in Rust as a procedural macro |
Aug 12, 2022 |
|
Erlang |
17 |
An embedded datalog-like logic programming DSL for Erlang. |
Apr 27, 2019 |
|
Rust |
45 |
Lightweight embedded database |
Aug 06, 2022 |
|
Objective-C |
1560 |
Lightweight, embedded, syncable NoSQL database engine for iOS and MacOS apps. |
Aug 09, 2022 |
|
Rust |
71 |
[Archived] A scalable differentiable probabilistic Datalog engine, with Rust |
Jun 07, 2022 |
|
C |
134 |
Lightweight Embedded Audio Framework |
Apr 03, 2023 |
|
Kotlin |
14 |
Embedded Zeebe Engine |
Apr 28, 2022 |
|
Java |
4 |
Embedded Zeebe Engine |
Mar 08, 2023 |
|
C |
3 |
Embedded scripting engine |
Apr 28, 2023 |
|
C++ |
22 |
Embedded Steno Engine |
Apr 03, 2023 |
|
Python |
21 |
Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces" |
Apr 05, 2023 |
|
C |
14 |
hmemory is a lightweight memory error detector for c/c++ programs, specifically designed for embedded systems. |
Apr 03, 2023 |
|
C |
101 |
lightweight logging for embedded microcontrollers |
Mar 24, 2023 |
|
C |
2 |
Lightweight logger for embedded applications |
Oct 18, 2023 |
|
C++ |
4 |
C++ CoAP library intended specifically for embedded targets |
Jun 18, 2022 |
|
C |
2 |
A minimal Bitcoin wallet intended for embedded devices |
Oct 31, 2021 |
|
C++ |
47 |
DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language. |
Oct 19, 2020 |
|
C++ |
2 |
Scriptix Embedded Scripting Engine |
Jul 26, 2020 |
|
C |
103 |
Scripting other people's programs. |
Sep 22, 2021 |
|
Clojure |
4869 |
Immutable database and Datalog query engine for Clojure, ClojureScript and JS |
Aug 21, 2022 |
|
C# |
2 |
Datalog engine for C# started as a Sharpen port of Jatalog |
Mar 19, 2023 |
|
Rust |
3 |
Run embedded programs just like native ones |
Jan 08, 2022 |
|
Rust |
544 |
Run embedded programs just like native ones |
Apr 11, 2023 |
|
C++ |
14 |
Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs. |
Sep 10, 2022 |
|
C |
483 |
A lightweight, portable pure C99 onnx inference engine for embedded devices with hardware acceleration support. |
May 05, 2023 |
|
Java |
44 |
Lightweight workflow engine |
Apr 11, 2023 |
|
JavaScript |
2 |
Lightweight CSL Engine |
Feb 11, 2022 |
|
C++ |
4 |
Lightweight Wayland compositor for embedded devices |
Apr 04, 2023 |
|
None |
2 |
Extremely lightweight embedded Cocoa web server |
Jan 02, 2013 |
|
Go |
3 |
Go Lightweight Embedded Indexed (JSON) Archive |
Feb 02, 2022 |
|
C |
65 |
Lightweight shell implementation for embedded systems |
Aug 27, 2022 |
|
C |
67 |
Lightweight JSON parser for embedded systems |
Aug 18, 2022 |
|
JavaScript |
113 |
A lightweight servlet-embedded JMX console |
Feb 15, 2023 |
|
C |
26 |
Lightweight button handler for embedded systems |
Apr 26, 2023 |
|
C |
5 |
Lightweight unit test framework for embedded |
Sep 18, 2020 |
|
Ruby |
3 |
Implementation of an engine for webdamlog evaluation. Webdamlog is distributed datalog language |
Mar 17, 2018 |
|
C |
17 |
Embedded JavaScript Engine and Ecosystem |
May 10, 2022 |