|
|
C# |
9 |
A C# version of miniKanren |
Apr 27, 2023 |
|
|
Swift |
5 |
A Swift implementation of miniKanren. |
Mar 26, 2020 |
|
|
Elixir |
4 |
A miniKanren implementation in Elixir |
Jan 06, 2023 |
|
|
Clojure |
5 |
An unnecessary miniKanren implementation in Clojure |
May 27, 2017 |
|
|
JavaScript |
10 |
An unfinished miniKanren implementation in JS. |
Dec 17, 2018 |
|
|
Common Lisp |
2 |
A quick implementation of miniKanren in CL |
Oct 19, 2022 |
|
|
Scheme |
131 |
Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'. |
Feb 11, 2023 |
|
|
C++ |
2 |
modified caffe version |
Nov 14, 2018 |
|
|
Python |
5 |
Pytorch Implementation of JPEG Compression. A modified version of DiffJPEG |
Apr 19, 2023 |
|
|
Hy |
85 |
Hy on Adderall - a miniKanren implementation in Hy |
Jul 07, 2022 |
|
|
Ruby |
4 |
modified version of tomdoc |
Oct 18, 2013 |
|
|
Vim script |
2 |
Modified version josuegaleas/jay |
Jan 26, 2020 |
|
|
Lua |
2 |
Modified version of syn_construction |
Jul 10, 2022 |
|
|
Java |
3 |
The bouncycastle modified version. |
Mar 14, 2023 |
|
|
Java |
2 |
Modified version for PowerNukkitX |
Oct 25, 2023 |
|
|
Scheme |
58 |
Probabilistic miniKanren |
Feb 11, 2023 |
|
|
JavaScript |
10 |
A natural language currency parser in Javascript. (A modified version of Chrono) |
Feb 19, 2020 |
|
|
Scheme |
4 |
miniKanren code for a Gentle Intro to miniKanren tutorial |
Jul 11, 2021 |
|
|
Python |
8 |
Modified version of gpt3-sandbox |
Mar 06, 2022 |
|
|
JavaScript |
8 |
Modified version of vRP 1.0 |
Jul 17, 2022 |
|
|
C++ |
3 |
a t4m(R41) modified version |
Jul 28, 2021 |
|
|
Haxe |
2 |
a modified version of kadeengine |
May 30, 2022 |
|
|
None |
3 |
an modified version of valine.min.js |
Aug 08, 2022 |
|
|
Shell |
15 |
Modified version of userrecon. Mod |
Aug 11, 2022 |
|
|
C |
28 |
A modified version of rsync |
Jun 01, 2022 |
|
|
Ruby |
64 |
Modified version of Pro Git |
Aug 31, 2022 |
|
|
C |
106 |
Dropbox modified version of librysnc |
Aug 06, 2022 |
|
|
C |
3 |
Apple's modified version of GDB |
Jun 14, 2021 |
|
|
C |
3 |
Modified version of VapourSynth's AverageFrames |
Apr 07, 2023 |
|
|
Java |
4 |
A modified version of MineDojo |
May 18, 2023 |
|
|
Java |
3 |
A modified version of MineDojo |
Jun 15, 2023 |
|
|
C++ |
2 |
A modified version of SensorKinect. |
Feb 06, 2014 |
|
|
Smalltalk |
7 |
miniKanren in Pharo |
Nov 26, 2021 |
|
|
Rust |
6 |
Various miniKANREN implementations |
Apr 24, 2023 |
|
|
OCaml |
31 |
miniKanren in OCaml |
May 02, 2023 |
|
|
JavaScript |
2 |
This javascript keylogger is the modified version for the keylogger found in Hackthissite |
Dec 03, 2023 |
|
|
Scheme |
147 |
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints. |
Mar 31, 2023 |
|
|
HTML |
2 |
A modified ERC20 implementation |
Oct 31, 2023 |
|
|
JavaScript |
3 |
Simple and standalone javascript implementation of modified BIP173 for Bitcoin Cash addresses |
Nov 12, 2018 |
|
|
Scheme |
8 |
Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org) |
Jul 19, 2022 |
|
|
C++ |
10 |
Slightly modified version of official InfClass |
Jun 27, 2022 |
|
|
None |
2 |
SharkFin: A Modified Version of ReLU |
May 02, 2021 |
|
|
Java |
37 |
Decompiled and modified version of GT5.07.07 |
Aug 18, 2022 |
|
|
C++ |
59 |
Modified version of MariaDB for ColumnStore |
Mar 11, 2021 |
|
|
JavaScript |
3 |
Modified version of MobX DevTools extension |
Jul 09, 2021 |
|
|
Tcl |
3 |
modified version of toolboy's MFW-Builder |
Jan 12, 2023 |
|
|
JavaScript |
13 |
Modified version of visionmedia/axon-rpc |
Aug 13, 2022 |
|
|
Java |
2 |
Decompiled and modified version of GT5.07.07 |
Jan 08, 2022 |
|
|
Lua |
5 |
Modified UI version of qb-clothing. |
Sep 25, 2022 |
|
|
C++ |
3 |
Modified version of the JMVC software |
Dec 26, 2022 |