Popular repositories Loading

1. faster-clpset-minikanren faster-clpset-minikanren Public

   Forked from michaelballantyne/faster-minikanren

   A fast implementation of miniKanren with CLP(Set) constraints, disequality and absento.

   Scheme 6 1

2. chrKanren chrKanren Public

   Scheme 3

3. array array Public

   Generic and Dynamic Arrays for Racket

   Racket 1

4. BUS BUS Public

   Idris 1 1

5. ismk ismk Public

   Idris 1

6. eglot eglot Public

   Forked from joaotavora/eglot

   A client for Language Server Protocol servers

   Emacs Lisp