Similar repositories to sstucki/lms-kappa:

• sstucki/lms-kappa github similar
• edinburgh-rbm/mois github similar
• rhz/thermokappa github similar
• webyrd/relational-unifier github similar
• webyrd/relational-dfa github similar
• webyrd/relational-reactive-programming github similar
• sstucki/kappa-emacs github similar
• dominikbucher/moi-sim github similar
• namin/sav github similar
• webyrd/relational-progress-sensitive-security github similar
• brandonbloom/rtlcat github similar
• stassa/thelma github similar
• webyrd/tabling github similar
• namin/clpset-miniKanren github similar
• michaelballantyne/ee-lib github similar
• GeorgOfenbeck/SpaceTime github similar
• webyrd/2012-scheme-workshop-quines-paper-code github similar
• webyrd/set-constraints github similar
• stassa/metasplain github similar
• namin/reflective-towers github similar
• webyrd/polyconf-2015 github similar
• namin/minikanren-confo github similar
• namin/grk2clj github similar
• michaelballantyne/meta-minikanren github similar
• webyrd/relational-cesk github similar
• webyrd/anti-unification github similar
• jasonhemann/micro-in-mini github similar
• namin/lambdajam github similar
• kappamodeler/kappa github similar
• nstroustrup/lifespan github similar
• adriaanm/scala-virtualized-tutorial github similar
• habemus-papadum/LilKanren.jl github similar
• sergei-romanenko/agda-simple-scp github similar
• jtcbrule/whittemore github similar
• StagedHPC/shonan-challenge github similar
• webyrd/slpKanren github similar
• gregr/dbKanren github similar
• webyrd/TAPL-in-miniKanren-cKanren-core.logic github similar
• sstucki/odds github similar
• miniKanren/simple-miniKanren github similar