lisp-korea/sicp external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

lisp-korea/sicp

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/lisp-korea/sicp)

Close

lisp-korea / sicpView on GitHubMore

• External links
• Readme badge

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

• lixiangqi / medic

  View on GitHub
  Medic Package
  ☆10Nov 8, 2015Updated 10 years ago
• the-little-prover / the-little-prover.github.io

  View on GitHub
  ☆11May 18, 2016Updated 9 years ago
• favonia / homotopy

  View on GitHub
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆27Aug 14, 2014Updated 11 years ago
• michaelballantyne / meta-minikanren

  View on GitHub
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24May 1, 2016Updated 9 years ago
• HaxeFoundation / ocamllibs

  View on GitHub
  Various OCaml Libraries
  ☆24Jun 18, 2019Updated 6 years ago
• chris-taylor / SICP-in-Haskell

  View on GitHub
  ☆49Jan 6, 2013Updated 13 years ago
• pkrumins / the-little-prover

  View on GitHub
  All code examples from "The Little Prover" book
  ☆23Nov 22, 2015Updated 10 years ago
• abresas / prologjs

  View on GitHub
  Prolog interpreter for node.js
  ☆49Jan 14, 2013Updated 13 years ago
• wouter-swierstra / xmonad

  View on GitHub
  xmonad in Coq
  ☆46Jul 9, 2012Updated 13 years ago
• babelPish / nlp

  View on GitHub
  파이썬을 이용한 자연어처리 기초
  ☆36Mar 3, 2016Updated 10 years ago
• webyrd / miniKanren-uncourse

  View on GitHub
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Apr 20, 2015Updated 10 years ago
• ustwo / recipe-book

  View on GitHub
  ustwobies love food, so they Open Source their recipes, as any sane geek would do.
  ☆15Jan 11, 2014Updated 12 years ago
• slott56 / NMEA-Tools

  View on GitHub
  A set of scripts to gather and analyze NMEA data; it uses Python so it's easy to customize
  ☆10Jun 18, 2017Updated 8 years ago
• nickg / swank-chicken

  View on GitHub
  SWANK server for Chicken Scheme
  ☆51Jun 27, 2024Updated last year
• indirect / xcode-git-build-scripts

  View on GitHub
  making git and xcode together less painful since 2008
  ☆29Jun 27, 2020Updated 5 years ago
• SparkFund / sails-forth

  View on GitHub
  A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata
  ☆11Jan 14, 2020Updated 6 years ago
• Ngier / NGMaskedTextField

  View on GitHub
  A subclass of UITextField for masking input
  ☆10Jan 12, 2018Updated 8 years ago
• mishoo / cl-uglify-js

  View on GitHub
  JavaScript compressor/beautifier library for Common Lisp
  ☆69Jun 20, 2015Updated 10 years ago
• tarao / LambdaJS

  View on GitHub
  An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
  ☆47Oct 7, 2018Updated 7 years ago
• tj / mad-pages

  View on GitHub
  Manual repository for mad(1)
  ☆31Nov 13, 2013Updated 12 years ago
• GaloisInc / ardupilot-mega

  View on GitHub
  Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE
  ☆14Jan 9, 2013Updated 13 years ago
• x-hansong / Crystal

  View on GitHub
  一个基于scrapy+selenium+phantomjs的爬虫程序，用于抓取多个学校的学术报告信息
  ☆10Sep 3, 2015Updated 10 years ago
• dsa-t / kicad-android

  View on GitHub
  A set of scripts to build KiCad for Android.
  ☆15Sep 20, 2024Updated last year
• jwatte / ode-0.12

  View on GitHub
  Open Dynamics Engine 0.12 plus test projects
  ☆15May 23, 2012Updated 13 years ago
• rubick24 / pcf2ttf

  View on GitHub
  convert pcf font file to pixelated ttf font file
  ☆13Apr 12, 2024Updated last year
• thetrime / proscript2

  View on GitHub
  If at first you don't succeed
  ☆12Sep 25, 2020Updated 5 years ago
• PointCloudLibrary / Sensor

  View on GitHub
  PrimeSensor Modules for OpenNI
  ☆12Dec 11, 2023Updated 2 years ago
• TritonDataCenter / javascriptlint

  View on GitHub
  JavaScript Lint
  ☆26Apr 8, 2022Updated 3 years ago
• danielftapiar / Programming

  View on GitHub
  Beginner's Programs I used to learn Languages
  ☆13Jul 11, 2012Updated 13 years ago
• quek / simple-date-time

  View on GitHub
  date and time library for common lisp
  ☆16Mar 26, 2016Updated 9 years ago
• KDE / kdev-ruby

  View on GitHub
  KDevelop plugin which provides Ruby language support
  ☆11Feb 13, 2026Updated 3 weeks ago
• Unspeakable / cl-haml

  View on GitHub
  Haml for Common Lisp
  ☆15Jun 9, 2017Updated 8 years ago
• donaldsonjw / bigloo

  View on GitHub
  Bigloo Scheme Compiler
  ☆11Dec 28, 2015Updated 10 years ago
• racket / eopl

  View on GitHub
  ☆39Feb 21, 2026Updated 2 weeks ago
• tashaxing / MyFlappyBird

  View on GitHub
  My flappybird demo with cocos2dx
  ☆10Dec 11, 2016Updated 9 years ago
• tomovwgti / Node-SerialPort

  View on GitHub
  ☆14Mar 30, 2013Updated 12 years ago
• wisdomfusion / z-notes

  View on GitHub
  notes structured as org-mode, Markdown, or LaTeX files
  ☆10May 25, 2018Updated 7 years ago
• leuschel / ecce

  View on GitHub
  Online partial evaluator for pure Prolog programs (with built-ins)
  ☆12Jan 12, 2026Updated last month
• webyrd / relational-interpreter-with-match

  View on GitHub
  Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher
  ☆11Mar 17, 2015Updated 10 years ago