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"☆75Updated 6 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆166Updated last year
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆163Updated 3 years ago
- A SICP language for Racket.☆198Updated last year
- Bibliography of Scheme research (readscheme.org and beyond)☆164Updated 2 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
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆70Updated 2 months ago
- awesome racket and scheme project☆100Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated last month
- Programs from the book Lisp in Small Pieces, updated to work on modern schemes☆255Updated 5 years ago
- It's a poorly named metamath verifier☆110Updated 5 years ago
- SKI combinators☆56Updated 8 years ago
- Awesome Lisp Companies☆635Updated 4 months ago
- ☆51Updated 2 months ago
- A novel approach to finding your way in APL☆148Updated 2 weeks ago
- Mal (Make A Lisp) Compiler in C☆53Updated 5 years ago
- A tiny, self-contained, general-purpose quantum interpreter.☆49Updated 2 years ago
- From Bronze to GM in miniKanren!☆13Updated 8 months ago
- ☆78Updated 6 years ago
- A Lisp interpreter implemented in Conway's Game of Life☆487Updated 4 years ago
- A Pascal to LLVM compiler in Haskell☆124Updated 6 years ago
- You dig Scheme. The world is coded in C. You get both.☆100Updated 4 years ago
- Learning Racket☆32Updated last year
- A practical guide to Racket macros☆258Updated 5 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆60Updated 11 months ago
- Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.☆312Updated 11 months ago
- Useful things for Standard ML☆71Updated last year
- Doug Hoyte's "Production" version of macros from Let Over Lambda, ready for ASDF and Quicklisp.☆145Updated 2 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆140Updated 7 years ago
- Discrete Mathematics Using a Computer exercises/notes☆21Updated 10 years ago