Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 21 Language Logic Programming Open Source Projects

Open source projects categorized as Language Logic Programming
Categories > Programming Languages > Logic Programming
Oso ⭐ 3,335
Oso is a batteries-included framework for building authorization in your application.
dependent packages 12total releases 48most recent commit 3 months agonpm oso} Downloads
Logica ⭐ 1,632
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
total releases 25most recent commit 3 months ago
The Power Of Prolog ⭐ 1,130
Introduction to modern Prolog
most recent commit 5 months ago
Plam ⭐ 441
An interpreter for learning and exploring pure λ-calculus
most recent commit 3 years ago
Ciao ⭐ 214
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
most recent commit 9 months ago
Poprc ⭐ 180
A Compiler for the Popr Language
most recent commit 3 years ago
Cosmos ⭐ 174
A new logic programming language.
most recent commit 9 months ago
Ukanren Rs ⭐ 99
Rust implementation of µKanren, a featherweight relational programming language.
total releases 5most recent commit a year ago
Brachylog ⭐ 93
A terse declarative logic programming language
most recent commit 4 years ago
Canrun_rs ⭐ 51
A Rust logic programming library inspired by the *Kanren family of language DSLs.
dependent packages 2total releases 5most recent commit 4 months agocargo canrun} Downloads
Logickit ⭐ 29
A Prolog-like language as a Swift Embedded Domain Specific Language.
most recent commit 3 years ago
Pyscheme ⭐ 29
A small demo lambda-language written in Python
most recent commit 6 years ago
Curry Language Server ⭐ 18
IDE support for the functional logic language Curry
most recent commit 9 months ago
Alsprolog ⭐ 15
ALS Prolog Compiler & Development Environment
most recent commit 3 months ago
Minilog ⭐ 14
A small relational (logic) programming language.
most recent commit 5 months ago
Soul ⭐ 10
Rescuing the SOUL great logic meta programming language
most recent commit 6 years ago
Proto Vulcan ⭐ 9
A relational logic programming language embedded in Rust.
dependent packages 1total releases 6most recent commit 2 years agocargo proto-vulcan-macros} Downloads
Dakilang ⭐ 6
Interpreter for the Daki logic programming language
most recent commit a year ago
Lumber ⭐ 5
Embeddable logic scripting language
most recent commit 3 years ago
Expertsystem ⭐ 5
A simple IDE with integrated Prolog-inspired logic programming language. Semester project.
most recent commit 7 years ago
Answer Set Programming Algorithms ⭐ 5
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
most recent commit 8 months ago
The 3 Most Depended On Language Logic Programming Open Source Projects
Oso ⭐ 3,335
Oso is a batteries-included framework for building authorization in your application.
dependent packages 12total releases 48latest release April 03, 2023most recent commit 3 months agonpm oso} Downloads
Canrun_rs ⭐ 51
A Rust logic programming library inspired by the *Kanren family of language DSLs.
dependent packages 2total releases 5latest release May 31, 2023most recent commit 4 months agocargo canrun} Downloads
Proto Vulcan ⭐ 9
A relational logic programming language embedded in Rust.
dependent packages 1total releases 6latest release September 18, 2021most recent commit 2 years agocargo proto-vulcan-macros} Downloads
The 6 Latest Releases In Language Logic Programming Open Source Projects
Canrun_rs ⭐ 51
A Rust logic programming library inspired by the *Kanren family of language DSLs.
dependent packages 2total releases 5latest release May 31, 2023most recent commit 4 months agocargo canrun} Downloads
Oso ⭐ 3,335
Oso is a batteries-included framework for building authorization in your application.
dependent packages 12total releases 48latest release April 03, 2023most recent commit 3 months agonpm oso} Downloads
Proto Vulcan ⭐ 9
A relational logic programming language embedded in Rust.
dependent packages 1total releases 6latest release September 18, 2021most recent commit 2 years agocargo proto-vulcan-macros} Downloads
Ukanren Rs ⭐ 99
Rust implementation of µKanren, a featherweight relational programming language.
total releases 5latest release September 15, 2021most recent commit a year ago
Logickit ⭐ 29
A Prolog-like language as a Swift Embedded Domain Specific Language.
latest release December 18, 2017most recent commit 3 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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