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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interactive shell for https://babeljs.io/ in emacs☆12Apr 8, 2017Updated 9 years ago
- Medic Package☆10Nov 8, 2015Updated 10 years ago
- ☆49Jan 6, 2013Updated 13 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 9 years ago
- Dot Net Anywhere evolved☆12Sep 11, 2017Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- All code examples from "The Little Prover" book☆23Nov 22, 2015Updated 10 years ago
- MSIL interpreter and runtime for a school project.☆10Dec 16, 2014Updated 11 years ago
- ☆14Feb 28, 2025Updated last year
- Self hosted C compiler at seccamp2018☆10Aug 18, 2018Updated 7 years ago
- A toy lisp interpreter in F# inspired by Norvig's lispy☆13May 31, 2020Updated 5 years ago
- A JavaScript implementation of the Logic Programming System described in section 4.4 of "Structure and Interpretation of Computer Program…☆22Jan 25, 2012Updated 14 years ago
- FFTVis a simple music player with a bar visualization. Full commented source code.☆11Feb 28, 2016Updated 10 years ago
- SAYEH cpu-memory basic computer☆11Jul 12, 2017Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Common Lisp web application server☆88Nov 1, 2012Updated 13 years ago
- A CIL (also known as MSIL) interpreter.☆14Jun 2, 2021Updated 4 years ago
- a mini minikanren☆26Aug 9, 2013Updated 12 years ago
- Bot for Lineage 2 Classic☆13Jan 4, 2023Updated 3 years ago
- A module that extends Lua with a few essential functions☆15Feb 13, 2017Updated 9 years ago
- Open Dynamics Engine 0.12 plus test projects☆15May 23, 2012Updated 13 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
- Executable examples for Elerea.☆18Jun 19, 2016Updated 9 years ago
- JUCE module for drawing using cairo☆14Oct 15, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Alef Lazily Evaluates Functions☆32Mar 10, 2013Updated 13 years ago
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 10 years ago
- Rule-based plural library for node.js☆12May 18, 2025Updated 11 months ago
- My solutions to exercises in the book Real World Haskell by Bryan O'Sullivan, John Goerzen & Don Stewart.☆32Nov 7, 2012Updated 13 years ago
- 跑酷源码☆27Dec 16, 2013Updated 12 years ago
- Combinators for drawing 2D shapes and images in Haskell (using OpenGL)☆32Feb 20, 2018Updated 8 years ago
- Procedural vector parser☆35Aug 9, 2019Updated 6 years ago
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Sep 12, 2015Updated 10 years ago
- xmonad in Coq☆46Jul 9, 2012Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- My Emacs and ZSH; Dockerized☆18Mar 8, 2016Updated 10 years ago
- Visualize NFA and DFA constructed from regular exrepssion☆18Feb 10, 2017Updated 9 years ago
- My flappybird demo with cocos2dx☆10Dec 11, 2016Updated 9 years ago
- Prolog interpreter for node.js☆49Jan 14, 2013Updated 13 years ago
- A fast and efficient subview renderer and lifecycle manager.☆22Jul 21, 2017Updated 8 years ago
- SWANK server for Chicken Scheme☆51Jun 27, 2024Updated last year
- A collection of bioinformatics algorithms☆12Aug 20, 2022Updated 3 years ago