the Yin programming language
☆53Apr 5, 2015Updated 10 years ago
Alternatives and similar repositories for yin
Users that are interested in yin are comparing it to the libraries listed below
Sorting:
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆135Jan 15, 2015Updated 11 years ago
- Chez Scheme Version 9 User's Guide - Zhcn☆60Nov 28, 2021Updated 4 years ago
- A structural comparison tool for Lisp family languages, with experimental C++, JS support☆194Feb 6, 2015Updated 11 years ago
- C library for interpreting scheme☆19Sep 11, 2021Updated 4 years ago
- Scheme Editor plugin for Eclipse☆37Jul 25, 2018Updated 7 years ago
- Redis bindings for Racket☆15Jul 5, 2023Updated 2 years ago
- A redis client for Racket.☆17May 16, 2015Updated 10 years ago
- SOM - Simple Object Machine (plain Java implementation)☆19Aug 19, 2025Updated 6 months ago
- ☆22Jul 27, 2023Updated 2 years ago
- Some educational code written 10+ years ago at IU☆29Apr 20, 2022Updated 3 years ago
- The Scheme Programming Language - ZhCN☆44Feb 8, 2025Updated last year
- A semantic indexer for Ruby with interprocedual type inference☆199Nov 15, 2022Updated 3 years ago
- Really mini operating system (extracted from xen-unstable, and much stuff removed)☆193Mar 5, 2012Updated 14 years ago
- MyBatis public site☆19Nov 29, 2024Updated last year
- A collection of articles written by YinWang☆156May 7, 2024Updated last year
- The larva programming Language☆147Aug 26, 2022Updated 3 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆167Apr 1, 2017Updated 8 years ago
- Forth system by FASM☆28Apr 21, 2017Updated 8 years ago
- My racket study documentation☆318Aug 2, 2019Updated 6 years ago
- Some useful shortcuts for DrRacket☆80Oct 31, 2020Updated 5 years ago
- ☆27May 20, 2016Updated 9 years ago
- Emacs implementation on Chez Scheme☆67Mar 29, 2020Updated 5 years ago
- Think more☆29Jan 8, 2016Updated 10 years ago
- Groovy-based Geb and Spock automation examples. Please run automation tests responsibly.☆11May 2, 2019Updated 6 years ago
- Useful vim indent, syntax, and filetype setting for NCL, fortran.☆11Feb 23, 2021Updated 5 years ago
- Algebraic structures for untyped Racket☆78Jul 16, 2024Updated last year
- HTML5/EPUB3 version of SICP☆27Jul 2, 2019Updated 6 years ago
- A structural comparison tool for Python☆118Oct 13, 2016Updated 9 years ago
- A Scheme interpreter written in C.☆65Oct 23, 2020Updated 5 years ago
- A fully-working 3D map editor (in Java) and level compilation toolchain (in C++), and a part-finished 3D game engine (in C++). Early deve…☆15Oct 28, 2013Updated 12 years ago
- ☆14Mar 20, 2025Updated 11 months ago
- Previous exe and source versions of core MFC app and plugins☆10Updated this week
- This repository reproduces the results in the paper "How expressive are transformers in spectral domain for graphs?"(published in TMLR)☆12Jul 10, 2022Updated 3 years ago
- ☆51Dec 14, 2022Updated 3 years ago
- PE32 binary + W32 payload☆11Jul 23, 2017Updated 8 years ago
- Procedural 3d City generator in Unity using real life geometrical data from open street maps☆12May 2, 2019Updated 6 years ago
- 2个js日历控件,简单易上手,自适应界面大小☆10Nov 6, 2017Updated 8 years ago
- ☆15Oct 3, 2015Updated 10 years ago
- 《The Little Schemer》笔记☆36Feb 2, 2015Updated 11 years ago