Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs textbook.
☆166May 31, 2024Updated last year
Alternatives and similar repositories for SICP-2020
Users that are interested in SICP-2020 are comparing it to the libraries listed below
Sorting:
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Oct 29, 2022Updated 3 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Seven Languages in Seven Weeks book.☆16Jun 28, 2022Updated 3 years ago
- ☆20Mar 25, 2021Updated 4 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- A minimal esolang based on lambda calculus☆16Jan 13, 2021Updated 5 years ago
- A SICP language for Racket.☆198Jun 17, 2024Updated last year
- Bibliography of Scheme-related Research☆16Apr 11, 2019Updated 6 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen☆12Sep 26, 2016Updated 9 years ago
- A template for idris projects☆11Jun 27, 2021Updated 4 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- ☆16Feb 18, 2025Updated last year
- An easy to use low-code open-source python framework for Time Series analysis, visualization, forecasting along with AutoTS☆40Jan 6, 2022Updated 4 years ago
- A list of learning resources that I would like to refer back later or intent to study☆21Feb 25, 2024Updated 2 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 3 months ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- My own Rust implementation of Mal (Make a Lisp)☆14Jul 25, 2019Updated 6 years ago
- Structure and Interpretation of Computer Programs study notes with exercise solutions☆402Feb 11, 2022Updated 4 years ago
- SICP in Guile & Emacs Lisp☆712May 7, 2022Updated 3 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Learn Lisp interactively!☆33Dec 5, 2024Updated last year
- Wasm library for PureScript☆29Aug 2, 2024Updated last year
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 8 years ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated last year
- Erlang BEAM emulator in Haskell☆48Jun 14, 2014Updated 11 years ago
- ☆15May 1, 2021Updated 4 years ago
- A prototype of soft contract verification for an untyped functional language☆35Apr 7, 2021Updated 4 years ago
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 3 years ago
- Smash products, Wedge products, and other Pointed stuff☆35Apr 27, 2022Updated 3 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74May 7, 2018Updated 7 years ago
- Parser for Emacs org-mode files☆37Dec 12, 2025Updated 2 months ago
- Dhall bindings for Idris☆41Aug 14, 2025Updated 6 months ago
- An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.☆19Aug 5, 2025Updated 6 months ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 4 years ago
- A BASIC-flavored Lisp dialect☆72May 1, 2023Updated 2 years ago