SICP in Clojure with clojure.core.typed
☆18Oct 31, 2015Updated 10 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:
- A Clojure binding for the Leap Motion API☆22Jul 25, 2013Updated 12 years ago
- An awesome typewriter built in Om, React using figwheel.☆17Jun 18, 2025Updated last year
- An embedding of miniKanren in Shen.☆25Jun 6, 2015Updated 11 years ago
- Yes, really!☆11May 8, 2015Updated 11 years ago
- Code to accompany ESOP 2016 paper☆12Jan 31, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Yet another ClojureScript UI framework☆32Aug 13, 2015Updated 10 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- Minimal flux implementation (deprecated)☆17Sep 25, 2015Updated 10 years ago
- A collection of experiments related to the idea of compiling things☆19Dec 4, 2013Updated 12 years ago
- Linux system programming using Rust☆12Mar 5, 2021Updated 5 years ago
- 📺 CSP for vanilla JavaScript☆46Apr 13, 2014Updated 12 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- The J-Bob proof assistant from The Little Prover in Clojure☆61Nov 3, 2015Updated 10 years ago
- Erlang implementation built on GraalVM/Truffle☆15May 31, 2019Updated 7 years ago
- AI Agents on 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.
- S expression parser for rust☆17Jun 6, 2023Updated 3 years ago
- Kibit integration with LightTable☆29Nov 30, 2013Updated 12 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 8 years ago
- Erlang BEAM emulator in Haskell☆48Jun 14, 2014Updated 12 years ago
- ☆16Jun 26, 2019Updated 7 years ago
- Presentations without slides☆25Oct 19, 2024Updated last year
- YourKit from the REPL☆13Sep 21, 2016Updated 9 years ago
- Bootstrap based data components for React☆13Apr 29, 2015Updated 11 years ago
- A 7DRL Project, using Emscripten to create a simple roguelike system in C++ that runs in the browser.☆23Jan 13, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- (archived) Composable data validation functions☆21Jun 25, 2013Updated 13 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago
- Creates a TAGS file for source files in the project☆16Feb 26, 2012Updated 14 years ago
- A ClojureScript REPL running on Node.JS☆168Sep 21, 2014Updated 11 years ago
- LightTable plugin for OCaml☆18Sep 4, 2017Updated 8 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Dec 21, 2015Updated 10 years ago
- Explorations into specification-as-a-value☆42Mar 15, 2013Updated 13 years ago
- Regular path expressions for Java object networks and Clojure data structures.☆16Oct 31, 2014Updated 11 years ago
- Semantic subtype for the Ballerina programming language, implemented in Ballerina.☆11May 27, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Library that enable returning of effects in reducers for redux library☆15Sep 18, 2015Updated 10 years ago
- A fast GraphQL Parser for Clojure☆19May 11, 2018Updated 8 years ago
- Markdown + CSS = PDF☆11Sep 10, 2016Updated 9 years ago
- A simple and concise Clojure library for working with the Wunderground weather forecasting API.☆21Dec 28, 2011Updated 14 years ago
- ☆13Mar 2, 2015Updated 11 years ago
- tie two trees together to track a transformation☆27Jul 30, 2015Updated 10 years ago
- AngularJS in the front, Clojure in the back.☆24Jan 29, 2014Updated 12 years ago