J-bob Alternatives
Similar projects and alternatives to j-bob
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better j-bob alternative or higher similarity.
j-bob reviews and mentions
Posts with mentions or reviews of j-bob.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-07-03.
-
CORE - My Proof Assistant
ACL2 is one prominent example of a theorem prover that uses a Lisp language (its manual is here). There's also an introductory book on using proof assistants called "The Little Prover," which uses a very simple Lisp-style theorem prover called "J-Bob" (with implementations in Scheme (the language that Guile, etc is an interpreter for) as well as ACL2). A major goal with J-Bob is that the prover itself is simple enough that its source code is easy to read, to make it easier to demonstrate to students (and anyone else interested in learning) how one kind of proof assistant could work.
Stats
Basic j-bob repo stats
1
414
0.0
3 months ago
the-little-prover/j-bob is an open source project licensed under BSD 2-clause "Simplified" License which is an OSI approved license.
The primary programming language of j-bob is Scheme.
Popular Comparisons
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com