Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Haskell Prolog Logic Programming Open Source Projects

Open source projects categorized as Haskell Prolog Logic Programming
Logict ⭐ 73
A continuation-based backtracking logic programming monad
total releases 22most recent commit 8 months ago
Lecturas_glc ⭐ 62
Readings on computational logic, interactive theorem proving and functional programming.
most recent commit 3 months ago
Hopes ⭐ 40
Higher Order Prolog with Extensional Semantics
most recent commit 4 years ago
Wam ⭐ 14
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
most recent commit 4 years ago
Minilog ⭐ 14
A small relational (logic) programming language.
most recent commit 5 months ago
Blog ⭐ 8
Blog sobre programación declarativa, lógica y funcional
most recent commit 2 years ago
Psc Query ⭐ 6
PureScript source code knowledge extraction and querying support.
most recent commit 6 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.