About
A modern Prolog implementation written mostly in Rust. (by mthom)
No Of Mentions
18
Stars
1,340
Activity
9.2
Similar Repos
Repo | Language | Mentions | Stars | Activity |
---|---|---|---|---|
logicaLogica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery. |
Jupyter Notebook | 3 |
0 |
8.9 |
swipl-develMain development repository |
C | 0 |
630 |
9.8 |
OPSOPS - Build and Run Open Source Unikernels. Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud. |
0 |
0 |
|
|
differential-datalogAn incremental programming language |
Java | 0 |
924 |
9.3 |
materializeMaterialize simplifies application development with streaming data. Incrementally-updated materialized views - in PostgreSQL and in real time. Materialize is powered by Timely Dataflow. (by MaterializeInc) |
Rust | 0 |
0 |
10.0 |
tau-prologAn open source Prolog interpreter in JavaScript |
JavaScript | 0 |
426 |
5.8 |
egglogA prolog like syntax for egg |
Rust | 0 |
25 |
7.0 |
kanidmKanidm: A simple, secure and fast identity management platform |
Rust | 0 |
948 |
8.9 |
Scout APMLess time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development. |
0 |
0 |
|
|
advent_of_codeSolutions to programming puzzles on Advent of Code (by Praful) |
Dart | 3 |
0 |
5.8 |
tauriBuild smaller, faster, and more secure desktop applications with a web frontend. |
Rust | 2 |
0 |
9.9 |
RhaiRhai - An embedded scripting language for Rust. |
Rust | 1 |
0 |
9.7 |
clickhouse-rsAsynchronous ClickHouse client library for Rust programming language. |
Rust | 0 |
167 |
4.3 |
bevyA refreshingly simple data-driven game engine built in Rust |
Rust | 2 |
0 |
9.7 |
scratch-wwwStandalone web client for Scratch |
JavaScript | 2 |
0 |
9.9 |
uniffi-rsa multi-language bindings generator for rust |
Rust | 2 |
596 |
9.1 |
AoCmy personal repo for the advent of code yearly challenge (by Fadi88) |
Python | 2 |
9 |
9.3 |
adventofcodeMy solutions to the Advent of Code challenges (by djotaku) |
Python | 2 |
5 |
0.0 |
C# | 2 |
1 |
7.4 |
|
adventofcodeAdvent of Code Repo for Zach Attakk (by ZachAttakk) |
Python | 2 |
1 |
8.5 |
aoc2021Solutions for Advent of Code 2021 (by frerich) |
Elixir | 2 |
0 |
7.5 |
Rust | 2 |
0 |
5.9 |