sicp solution of lisp korea group
☆42Jan 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 10 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years ago
- All code examples from "The Little Prover" book☆22Nov 22, 2015Updated 10 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.
- ☆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 6 years ago
- Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)☆21Oct 26, 2016Updated 9 years ago
- A CIL (also known as MSIL) interpreter.☆14Jun 2, 2021Updated 5 years ago
- a mini minikanren☆26Aug 9, 2013Updated 12 years ago
- Bot for Lineage 2 Classic☆14Jan 4, 2023Updated 3 years ago
- Various OCaml Libraries☆25Jun 18, 2019Updated 7 years ago
- A Rust firmware for mechanical keyboards using the Teensy 3.2☆11Dec 15, 2018Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Open Dynamics Engine 0.12 plus test projects☆15May 23, 2012Updated 14 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
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 11 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 last year
- My solutions to exercises in the book Real World Haskell by Bryan O'Sullivan, John Goerzen & Don Stewart.☆32Nov 7, 2012Updated 13 years ago
- Super Nario - Haskell clone (mirror)☆13Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆20Jul 3, 2023Updated 2 years ago
- Yet another hobby OS☆11May 8, 2018Updated 8 years ago
- A minimalist, stream-centric RSS reader written for Node.js.☆24Updated this week
- 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
- Visualize NFA and DFA constructed from regular exrepssion☆18Feb 10, 2017Updated 9 years ago
- Prolog interpreter for node.js☆49Jan 14, 2013Updated 13 years ago
- Modern C++ wrapper for the interception device driver☆10Nov 5, 2024Updated last year
- A fast and efficient subview renderer and lifecycle manager.☆22Jul 21, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Mar 7, 2013Updated 13 years ago
- SWANK server for Chicken Scheme☆51Jun 27, 2024Updated last year
- A collection of bioinformatics algorithms☆12Aug 20, 2022Updated 3 years ago
- nodejs 使用百度翻译API☆10Nov 22, 2013Updated 12 years ago
- simple hotkeys.☆11Apr 17, 2019Updated 7 years ago
- A collection of examples from On Lisp by Paul Graham translated into Clojure.☆55Jun 5, 2014Updated 12 years ago
- executable λ-calclulus☆14Aug 22, 2015Updated 10 years ago