Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 17 Haskell Prolog Open Source Projects

Open source projects categorized as Haskell Prolog
99 Problems ⭐ 3,232
This is an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett.
most recent commit 3 years ago
Mulang ⭐ 125
🎍 Universal, Multi Language, Multi Paradigm code analyzer
dependent packages 9total releases 40most recent commit a year agorubygems mulang} Downloads
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
Metu Ceng ⭐ 22
All the homeworks, studies and projects I've done at Metu-CENG
most recent commit 2 years ago
Minilog ⭐ 14
A small relational (logic) programming language.
most recent commit 5 months ago
Wam ⭐ 14
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
most recent commit 4 years ago
Javascript 99.github.io ⭐ 11
Ninety-Nine Javascript Problems
most recent commit 5 years ago
List_util ⭐ 8
Prolog list utility predicates
most recent commit 6 years ago
Blog ⭐ 8
Blog sobre programación declarativa, lógica y funcional
most recent commit 2 years ago
Adventofcode2020 ⭐ 7
most recent commit 3 years ago
Talks ⭐ 7
A little collection of talks I gave
most recent commit a year ago
Psc Query ⭐ 6
PureScript source code knowledge extraction and querying support.
most recent commit 6 years ago
Pl2014 ⭐ 6
Principles of Programming Languages 2014 - TA
most recent commit 10 years ago
Sem3 Labs ⭐ 6
Personal Code Repo for MU IT Sem 3 Labs
most recent commit a year ago
Prohell ⭐ 5
Prolog like programming language
most recent commit 7 years ago
The 2 Latest Releases In Haskell Prolog Open Source Projects
Logict ⭐ 73
A continuation-based backtracking logic programming monad
total releases 22latest release April 24, 2023most recent commit 8 months ago
Mulang ⭐ 125
:bamboo: Universal, Multi Language, Multi Paradigm code analyzer
dependent packages 9total releases 40latest release April 11, 2023most recent commit a year agorubygems mulang} Downloads
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.