lisp-korea / sicpView external linksLinks
sicp solution of lisp korea group
☆43Jan 24, 2012Updated 14 years ago
Alternatives and similar repositories for sicp
Users that are interested in sicp are comparing it to the libraries listed below
Sorting:
- Medic Package☆10Nov 8, 2015Updated 10 years ago
- ☆11May 18, 2016Updated 9 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 12 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 9 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 11 years ago
- Various OCaml Libraries☆24Jun 18, 2019Updated 6 years ago
- Common Lisp web application server☆88Nov 1, 2012Updated 13 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 10 years ago
- All code examples from "The Little Prover" book☆23Nov 22, 2015Updated 10 years ago
- Prolog interpreter for node.js☆49Jan 14, 2013Updated 13 years ago
- Common Lisp implementation of Google's Closure Templates.☆71Jul 26, 2015Updated 10 years ago
- Useful vim indent, syntax, and filetype setting for NCL, fortran.☆11Feb 23, 2021Updated 4 years ago
- xmonad in Coq☆46Jul 9, 2012Updated 13 years ago
- ☆31Jan 13, 2011Updated 15 years ago
- A fast template engine for Common Lisp☆35Nov 19, 2017Updated 8 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Apr 20, 2015Updated 10 years ago
- A subclass of UITextField for masking input☆10Jan 12, 2018Updated 8 years ago
- A script that converts your Quick tests to readable documentation.☆10Apr 23, 2019Updated 6 years ago
- making git and xcode together less painful since 2008☆29Jun 27, 2020Updated 5 years ago
- ustwobies love food, so they Open Source their recipes, as any sane geek would do.☆15Jan 11, 2014Updated 12 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- CHIP-8 Emulator written with Python3 and PyGame☆11Jan 6, 2020Updated 6 years ago
- JavaScript compressor/beautifier library for Common Lisp☆69Jun 20, 2015Updated 10 years ago
- Tools for working with CSV files in IPython.☆10Feb 17, 2016Updated 9 years ago
- clx overlay☆11Updated this week
- Unofficial Ruby SDK for Claude Agent☆29Updated this week
- FFTVis a simple music player with a bar visualization. Full commented source code.☆11Feb 28, 2016Updated 9 years ago
- Fastest Minimalist CoffeeScript/JavaScript CoffeeCup/Handlebars/Mustache template engine.☆46Jan 13, 2013Updated 13 years ago
- Wiki For Camlunity☆13Feb 12, 2015Updated 11 years ago
- Common Lisp MySQL library☆54Mar 10, 2024Updated last year
- The Unframework☆24Jan 26, 2012Updated 14 years ago
- Raytracer in Common Lisp, used sb-cga for vectorization.☆14Nov 5, 2011Updated 14 years ago
- date and time library for common lisp☆16Mar 26, 2016Updated 9 years ago
- An Alfred2 workflow that will display the commands of all other workflows.☆26Dec 7, 2014Updated 11 years ago
- a mini minikanren☆26Aug 9, 2013Updated 12 years ago
- A simple, lightweight MVVM framework for iOS without any dependencies.☆11Mar 4, 2025Updated 11 months ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 10 years ago
- 红尘后台管理 客户端代码放群共享里面 qq群: 183153579☆10May 9, 2019Updated 6 years ago
- sync put.io to a local directory☆19Apr 3, 2017Updated 8 years ago