Linking pages
Linked pages
- GitHub - mxgmn/WaveFunctionCollapse: Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics https://github.com/mxgmn/WaveFunctionCollapse 369 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- Inkbase: Programmable Ink https://www.inkandswitch.com/inkbase/ 109 comments
- Up and Down the Ladder of Abstraction http://worrydream.com/LadderOfAbstraction/ 108 comments
- 10 PRINT CHR$(205.5+RND(1)); : GOTO 10 http://10print.org/ 69 comments
- Thinking, Fast and Slow - Wikipedia http://en.m.wikipedia.org/wiki/Thinking,_Fast_and_Slow 24 comments
- http://alloytools.org/ 21 comments
- Crosscut: Drawing Dynamic Models https://www.inkandswitch.com/crosscut/ 7 comments
- Answer set programming - Wikipedia https://en.wikipedia.org/wiki/Answer_set_programming 2 comments
- SWI-Prolog http://www.swi-prolog.org/ 0 comments
- Graffiti (Palm OS) - Wikipedia https://en.wikipedia.org/wiki/Graffiti_(Palm_OS) 0 comments
Related searches:
Search whole site: site:www.inkandswitch.com
Search title: Untangle: Solving problems with fuzzy constraints
See how to search.