Block or Report
Block or report ahmadrasyidsalim
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage
Sort by: Recently starred
Starred repositories
Lightweight data modeling for Java, powered by Clojure.
Fulcro 3 wrappers of React Semantic UI Controls
A library that wraps clojure.test for a better BDD testing experience.
Clojure client library for the Auth0 platform
Generic collections API for Racket
Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!
A statically typed lisp, without a GC, for real-time applications.
opencog / guile-dbi
Forked from eestrada/guile-dbiGuile Scheme SQL database interfaces
Asynchronous event loop for guile-3.0 with await semantics
Asynchronous event loop for guile-2.2 with await semantics
Asynchronous event loop for guile-2.0 with await semantics
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.
r6rs packaging of minikanren from "The Reasoned Schemer"
A collection of useful, performant, and threadsafe Go datastructures.
A class for types that can be converted to a hash value
Efficient hashing-based container types