Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Handbook Of Practical Logic And Automated Reasoning Haskell

Handbook Of Practical Logic And Automated Reasoning Haskell
Stars
5
License
gpl-3.0
Open Issues
0
Most Recent Commit
10 years ago
Categories
Repo
Alternatives To Handbook Of Practical Logic And Automated Reasoning Haskell
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Haskell Atp6
3 years agogpl-3.0Haskell
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell
Handbook Of Practical Logic And Automated Reasoning Haskell5
10 years agogpl-3.0
Alternatives To Handbook Of Practical Logic And Automated Reasoning Haskell
Select To Compare


Suggest An Alternative To handbook-of-practical-logic-and-automated-reasoning-haskell
Alternative Project Comparisons
Handbook Of Practical Logic And Automated Reasoning Haskell vs Haskell Atp
Popular Ghc Projects
Semantic ⭐ 8,425
Parsing, analyzing, and comparing source code across many languages
total releases 8latest release July 18, 2022most recent commit 2 years ago
Ghcjs ⭐ 2,560
Haskell to JavaScript compiler, based on GHC
total releases 3latest release July 10, 2017most recent commit a year ago
Popular Handbook Projects
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Ghc
Handbook
Quickcheck
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.