Awesome Open Source

Programming Languages

Search results for c logic programming

logic-programming x

9 search results found

Swipl Devel ⭐ 863

SWI-Prolog Main development repository

Logica De Programacao ⭐ 43

📚 Repositório contendo vários exercícios de lógica de programação em diversas linguagens.

Laurelang ⭐ 15

A pure logical, compact language. Compiler and abstract machine. WIP (research project at this point)

Alsprolog ⭐ 15

ALS Prolog Compiler & Development Environment

Haskell Picosat ⭐ 13

Haskell bindings for PicoSAT solver

Differentiable probabilistic answer set programming

A novel Inductive Logic Programming(ILP) system based on Meta Inverse Entailment in Python.

Supinforesources ⭐ 6

Resources for Supinfo cursus and more. This repo is shared with any Supinfo Student and free of use.

32bit_quine Mccluskey_and_petrick_method_in_c ⭐ 5

32bit Simplifier of Boolean functions

Related Searches

C Kernel (12,842)

C Video Game (4,242)

C Driver (4,106)

Python C (4,069)

C Firmware (3,545)

C Arduino (3,118)

C Command Line (2,475)

C Algorithms (2,333)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

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