-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
109daaf
commit 9e63a65
Showing
180 changed files
with
716 additions
and
0 deletions.
There are no files selected for viewing
Large diffs are not rendered by default.
Oops, something went wrong.
Submodule chj-schemelib
added at
59ff84
Submodule elk-scheme-mirror
added at
934aa2
Submodule scheme-macros
added at
d490ba
Submodule snow2-client
added at
b70c3c
Submodule thunderchez
added at
268d0d
Submodule FicroKanSharp
added at
32c71e
Submodule IronScheme
added at
ab059c
Submodule Kawa
added at
a852d3
Submodule MiniKanrenT
added at
607726
Submodule Polyglot-code-generator
added at
bd46b9
Submodule Racket-miniKanren
added at
64c743
Submodule Salvador1223-scheme
added at
dd098e
Submodule SchemeStuff
added at
bbf251
Submodule airship-scheme
added at
debfe1
Submodule alphaKanren
added at
25b0a6
Submodule alphaKanren-revisited
added at
dab053
Submodule antonpriyma-Diploma
added at
9ab99c
Submodule async-mu-kanren
added at
1f4571
Submodule biwascheme
added at
c5c786
Submodule c-sexpr-parser
added at
a44c1b
Submodule calysto_scheme
added at
0aa9ec
Submodule chicken-miniKanren
added at
437139
Submodule clojure-py
added at
ffc907
Submodule clpsmt-miniKanren
added at
d2270a
Submodule compiler-tutorial
added at
4b5d27
Submodule conservatory-website
added at
dcae8f
Submodule core.logic
added at
f41b88
Submodule elk
added at
5ba5ff
Submodule elm-microkanren
added at
784814
Submodule featherweight
added at
142f49
Submodule femtolisp
added at
0bf424
Submodule ffigen
added at
b2d444
Submodule ffigen-website
added at
93eb3e
Submodule ftmicroKanren
added at
2f6452
Submodule gerbilKanren
added at
e49861
Submodule header2scheme-website
added at
4be45d
Submodule ikarus
added at
1f2b25
Submodule jaredforth-scheme
added at
f300bd
Submodule lisp-in-small-pieces
added at
71a89a
Submodule little-scheme-in-lisp
added at
5bfd96
Submodule metta-morph
added at
02242e
Submodule micro-kanren
added at
6d119c
Submodule microKanren
added at
ddce71
Submodule microKanren-DLS-16
added at
809510
Submodule microKanren-demo
added at
951410
Submodule microKanren-sagittarius
added at
9e740b
Submodule microkanren
added at
0fe2dd
Submodule miniKanren
added at
2d50ec
Submodule miniKanren-with-symbolic-constraints
added at
364d6b
Submodule minikanren-datalog
added at
7ad2bd
Submodule minikanren-ocaml
added at
b99f94
Submodule pcs
added at
385527
Submodule picrin
added at
311abc
Submodule picrin-website
added at
71af25
Submodule probKanren
added at
00cd62
Submodule r6rs-lazar
added at
a15e7a
Submodule r7expander
added at
b1c345
Submodule racket-qkanren
added at
cd9c06
Submodule rank-Kanren
added at
6fffeb
Submodule readscheme-website
added at
5fb87a
Submodule s7
added at
1a33e0
Submodule sagittarius-scheme
added at
add262
Submodule scheme-compiler
added at
5b245a
Submodule scheme-to-arm64
added at
796daf
Submodule scheme-to-rust
added at
587a95
Submodule scheme_compiler
added at
1a6fa1
Submodule schemers-website
added at
3b3d99
Submodule semi-supervised-learning
added at
c3cb41
Submodule sexp_parser
added at
a58990
Submodule ska-scheme
added at
f0bd75
Submodule smallscheme
added at
4045b0
Submodule some-scheme-compiler
added at
483483
Submodule staged-miniKanren
added at
770e4c
Submodule staticKanren
added at
6bf055
Submodule stk
added at
b1f990
Submodule tinyclos
added at
320c3a
Submodule tr7
added at
12dc7c
Submodule transpiler
added at
b7e263
Submodule vscode-scheme-r7rs
added at
e31ca5