|
|
Rust |
2 |
Experimental operating system written in Rust. |
Jan 13, 2023 |
|
|
Rust |
143 |
logic programming in Rust |
May 22, 2023 |
|
|
Rust |
35 |
Logic programming, for Rust, from inside Rust. |
Mar 02, 2023 |
|
|
Mercury |
749 |
The Mercury logic programming system. |
Aug 21, 2022 |
|
|
Rust |
32 |
Experimental type level programming in Rust |
Apr 11, 2022 |
|
|
Rust |
122 |
The Rust Programming Language: Experimental Edition |
Apr 27, 2023 |
|
|
Rust |
2 |
Simplified Vulkan synchronization logic, written in rust |
Jan 28, 2023 |
|
|
Rust |
6 |
A Logic World Server written in Rust. |
Apr 18, 2023 |
|
|
Rust |
8 |
An experimental RTOS written in Rust. |
May 16, 2022 |
|
|
Rust |
3 |
Experimental VPN/proxy written in Rust |
Jan 25, 2018 |
|
|
Rust |
3 |
Experimental Serialport bindings written in rust |
Aug 24, 2021 |
|
|
Rust |
2 |
Experimental Kubernetes Operator written in Rust |
Dec 21, 2022 |
|
|
Rust |
172 |
Experimental system for rust garbage collection |
Apr 18, 2023 |
|
|
Python |
467 |
Core validation logic for pydantic written in rust |
Aug 15, 2022 |
|
|
Assembly |
258 |
Experimental operating system written in Zig |
Aug 18, 2022 |
|
|
Zig |
2 |
Experimental operating system written in Zig |
Nov 16, 2022 |
|
|
Assembly |
2 |
Experimental operating system written in Zig |
Jan 08, 2024 |
|
|
Rust |
5 |
Experimental GTK Git client written in Rust |
May 11, 2021 |
|
|
Rust |
2 |
Experimental fluid flow simulator written in Rust |
Feb 26, 2023 |
|
|
Rust |
3 |
Experimental HTTP/2 implementation written in Rust |
Oct 06, 2018 |
|
|
Rust |
13 |
An experimental container runtime written in Rust |
Apr 12, 2023 |
|
|
Rust |
152 |
An experimental modular OS written in Rust. |
Apr 23, 2023 |
|
|
C++ |
112 |
An experimental PS4 emulator written in Rust |
Dec 03, 2022 |
|
|
Rust |
2 |
A ~experimental~ superior kernel written in Rust |
Apr 16, 2023 |
|
|
Rust |
2 |
Mass Dockerfile generator written in Rust (experimental) |
May 11, 2020 |
|
|
Rust |
4 |
An experimental modular OS written in Rust. |
Jun 08, 2023 |
|
|
Python |
80 |
Popper is an inductive logic programming (ILP) system. |
Jun 28, 2022 |
|
|
Rust |
18 |
A logic programming library (inspired by uKanren) in Rust. |
Dec 02, 2022 |
|
|
Rust |
57 |
Ninja-compatible build system for high-level programming languages written in Rust |
Jul 25, 2022 |
|
|
Rust |
229 |
Monkey Programming Language written in Rust. |
Aug 13, 2022 |
|
|
Rust |
7 |
Simple programming language written in Rust |
May 08, 2023 |
|
|
Rust |
3 |
Dynamic programming language written in Rust |
Nov 09, 2022 |
|
|
Rust |
3 |
Experimental protocol-compatible Redis implementation written in Rust |
Nov 19, 2013 |
|
|
Rust |
15 |
An Experimental Web Browser Engine written in Rust |
Mar 04, 2023 |
|
|
Rust |
2 |
Operating System written in Rust. |
Apr 13, 2023 |
|
|
Rust |
3 |
Experimental webclient related library for the Rust programming language |
Dec 08, 2014 |
|
|
Rust |
392 |
Experimental high-performance actor system framework for Rust |
Aug 02, 2022 |
|
|
ActionScript |
3 |
Fuzzy logic system for game AI written in AS3. |
Jul 28, 2019 |
|
|
None |
5 |
Logic programming challenge |
Sep 21, 2022 |
|
|
HTML |
2 |
Programming logic - ONE |
Mar 07, 2023 |
|
|
Prolog |
3 |
Logic Constraint Programming |
Nov 22, 2022 |
|
|
Python |
17 |
Very experimental forth-like programming language written in python. |
Apr 28, 2023 |
|
|
Rust |
5 |
An experimental OS written in Rust, just for learning! |
Mar 02, 2017 |
|
|
Rust |
96 |
An experimental HTTP load testing application written in Rust. |
Jun 30, 2022 |
|
|
Rust |
4 |
Pyrite is an experimental render engine, written in Rust |
Oct 04, 2020 |
|
|
Rust |
8 |
Tiny experimental kernel written in Rust and x86 assembler. |
Aug 13, 2021 |
|
|
Rust |
7 |
A modern and experimental Minecraft server written in Rust |
Feb 22, 2023 |
|
|
Rust |
8 |
An imperative programming language written in Rust |
Nov 12, 2021 |
|
|
None |
2 |
A simple programming language written in Rust. |
Apr 02, 2023 |
|
|
Rust |
2 |
An interpreted programming language written in rust |
May 02, 2022 |