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:
- 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
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Jun 26, 2015Updated 10 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
- FFTVis a simple music player with a bar visualization. Full commented source code.☆11Feb 28, 2016Updated 10 years ago
- Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)☆21Oct 26, 2016Updated 9 years ago
- ☆23Nov 13, 2014Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A CIL (also known as MSIL) interpreter.☆14Jun 2, 2021Updated 4 years ago
- Various OCaml Libraries☆24Jun 18, 2019Updated 6 years ago
- a collection of useful resources☆79Jul 18, 2013Updated 12 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 7 years ago
- Executable examples for Elerea.☆18Jun 19, 2016Updated 9 years ago
- JUCE module for drawing using cairo☆14Oct 15, 2017Updated 8 years ago
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 10 years ago
- Small example of a Nix-built servant-server with a reflex-dom client.☆12Feb 5, 2018Updated 8 years ago
- Rule-based plural library for node.js☆12May 18, 2025Updated 10 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 跑酷源码☆27Dec 16, 2013Updated 12 years ago
- Procedural vector parser☆35Aug 9, 2019Updated 6 years ago
- xmonad in Coq☆46Jul 9, 2012Updated 13 years ago
- 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
- A fast and efficient subview renderer and lifecycle manager.☆22Jul 21, 2017Updated 8 years ago
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Mar 7, 2013Updated 13 years ago
- Haskell integration for Visual Studio☆22Aug 10, 2014Updated 11 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- SWANK server for Chicken Scheme☆51Jun 27, 2024Updated last year
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 2 years ago
- Python natural language processing work☆29Sep 14, 2009Updated 16 years ago
- A collection of examples from On Lisp by Paul Graham translated into Clojure.☆55Jun 5, 2014Updated 11 years ago
- executable λ-calclulus☆14Aug 22, 2015Updated 10 years ago
- Simple virtual machine for a stack-based assembler language.☆21Oct 15, 2017Updated 8 years ago
- An unfinished CIL interpreter in Rust☆25Oct 13, 2018Updated 7 years ago