Awesome Open Source

Programming Languages

Search results for rust logic programming

logic-programming x

12 search results found

Oso is a batteries-included framework for building authorization in your application.

Percival ⭐ 497

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

Datalog compiler embedded in Rust as a procedural macro

Rust bindings for the Z3 solver.

logic programming in Rust

Ukanren Rs ⭐ 99

Rust implementation of µKanren, a featherweight relational programming language.

Canrun_rs ⭐ 51

A Rust logic programming library inspired by the *Kanren family of language DSLs.

Logic programming, for Rust, from inside Rust.

Log(ic) programming in Ru(st).

Proto Vulcan ⭐ 9

A relational logic programming language embedded in Rust.

Embeddable logic scripting language

Airlang_rs ⭐ 5

The Air programming language is carefully designed to solve programming problems once and for all. It is a delightful surprise for programming language enthusiasts.

Related Searches

Command Line Rust (3,187)

Javascript Rust (1,421)

Video Game Rust (1,177)

Rust Bindings (1,155)

Typescript Rust (1,111)

Rust Language (1,068)

Python Rust (966)

Rust Blockchain (938)

C Plus Plus Rust (885)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.