Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Haskell Logic Open Source Projects

Open source projects categorized as Haskell Logic
Tinyjit ⭐ 157
Haskell JIT
most recent commit 4 years ago
Caledon ⭐ 121
higher order dependently typed logic programing
total releases 9most recent commit 6 years ago
Hopper V0 ⭐ 104
a sound modern language for computation and transactional resource logic
most recent commit 8 years ago
Mtl Style Example ⭐ 96
A small example of using mtl style to unit test effectful code
most recent commit 6 years ago
Euler Hs ⭐ 79
EulerHS: full-fledged framework for creating web backends
most recent commit 8 months ago
Automatic Whitebox Testing Showcase ⭐ 76
Automatic white-box testing with Free monads: approach description and showcase
most recent commit 2 years ago
Logict ⭐ 73
A continuation-based backtracking logic programming monad
total releases 22most recent commit 7 months ago
Lecturas_glc ⭐ 62
Readings on computational logic, interactive theorem proving and functional programming.
most recent commit 3 months ago
Hets ⭐ 46
The Heterogeneous Tool Set
most recent commit 7 months ago
Discrete Mathematics ⭐ 43
A computational way to study discrete mathematics using Haskell
most recent commit 5 years ago
Hs Logic ⭐ 41
A simple library for Haskell that allows relational programming.
most recent commit 12 years ago
Smcdel ⭐ 35
A symbolic model checker for Dynamic Epistemic Logic.
total releases 3most recent commit 5 months ago
Peppermint Prover ⭐ 35
Experimental proof assistant (and architecture) for dependent linear logic
total releases 1most recent commit 3 years ago
Provability ⭐ 28
Some tools for provability logic
most recent commit 6 years ago
Rsolve ⭐ 19
Ask for solutions.
most recent commit 5 years ago
Soutei ⭐ 18
a logic-based trust-management system
most recent commit 12 years ago
Curry Language Server ⭐ 18
IDE support for the functional logic language Curry
most recent commit 9 months ago
Hk ⭐ 16
HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.
most recent commit 13 years ago
Sylvia ⭐ 15
🌲 Logic puzzle game based on the lambda calculus
most recent commit 11 years ago
Queenslogic ⭐ 14
n queens with the logic monad
most recent commit 9 years ago
Propcheck ⭐ 14
Proof checker for propositional logic
most recent commit 7 years ago
Haskell Picosat ⭐ 13
Haskell bindings for PicoSAT solver
total releases 9most recent commit 4 years ago
Heyting Algebras ⭐ 13
Heyting Algebras in Haskell
most recent commit a year ago
The 9 Latest Releases In Haskell Logic Open Source Projects
Haskell Picosat ⭐ 13
Haskell bindings for PicoSAT solver
total releases 9latest release December 02, 2023most recent commit 4 years ago
Logict ⭐ 73
A continuation-based backtracking logic programming monad
total releases 22latest release April 24, 2023most recent commit 7 months ago
Smcdel ⭐ 35
A symbolic model checker for Dynamic Epistemic Logic.
total releases 3latest release February 22, 2022most recent commit 5 months ago
Atp ⭐ 5
Haskell interface to automated theorem provers
latest release January 27, 2021most recent commit 2 years ago
G4ip Prover ⭐ 7
Theorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip
total releases 3latest release December 28, 2018most recent commit 5 years ago
Zsyntax ⭐ 10
Automated theorem prover for a linear logic-based calculus for molecular biology.
total releases 1latest release December 15, 2018most recent commit 10 months ago
Peppermint Prover ⭐ 35
Experimental proof assistant (and architecture) for dependent linear logic
total releases 1latest release October 11, 2018most recent commit 3 years ago
Picologic ⭐ 11
Symbolic logic expressions
total releases 5latest release May 22, 2017most recent commit 4 years ago
Caledon ⭐ 121
higher order dependently typed logic programing
total releases 9latest release May 22, 2017most 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.