geohot / haskell-schemeLinks
Writing Scheme in Haskell
☆59Updated 5 years ago
Alternatives and similar repositories for haskell-scheme
Users that are interested in haskell-scheme are comparing it to the libraries listed below
Sorting:
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆74Updated 6 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆164Updated last year
- It's a poorly named metamath verifier☆110Updated 5 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated last week
- SKI combinators☆56Updated 8 years ago
- awesome racket and scheme project☆100Updated 2 years ago
- Let's Build a Compiler (in Haskell)☆173Updated 5 years ago
- Sinister's Scheme Compiler!☆24Updated 3 years ago
- The de facto standard for people who are looking to learn Dyalog APL from a book. This updated version is a work in progress.☆36Updated 3 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆59Updated 9 months ago
- Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.☆312Updated 9 months ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆163Updated 3 years ago
- deployment for smlhelp page☆41Updated 5 months ago
- Bibliography of Scheme-related Research☆15Updated 6 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆69Updated 3 weeks ago
- My solutions to the popular Haskell tutorial☆76Updated 13 years ago
- ☆20Updated 3 years ago
- Examples and Exercises for the book "More OCaml"☆66Updated 3 years ago
- A Pascal to LLVM compiler in Haskell☆124Updated 6 years ago
- Programs from the book Lisp in Small Pieces, updated to work on modern schemes☆251Updated 5 years ago
- This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆44Updated last month
- Bibliography of Scheme research (readscheme.org and beyond)☆165Updated 2 years ago
- The WIP book for CPSC 411☆66Updated 5 months ago
- A SICP language for Racket.☆198Updated last year
- A tiny, self-contained, general-purpose quantum interpreter.☆49Updated 2 years ago
- Solutions for the Ninety-Nine Lisp problems in Common Lisp.☆20Updated 9 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆140Updated 7 years ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 3 years ago
- Yet another scheme to fathom the Structure and Interpretation of Computer Programs.☆20Updated 2 years ago
- Source Code from "Making Music with Haskell" video☆141Updated 5 years ago