mwand / cs5010f16
Web site for cs5010 Fall 2016
☆11Updated 8 years ago
Alternatives and similar repositories for cs5010f16:
Users that are interested in cs5010f16 are comparing it to the libraries listed below
- PL Wonks website☆10Updated this week
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- All the ML code examples from the book "The Little MLer"☆87Updated 14 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆161Updated 7 years ago
- ☆96Updated this week
- Solutions to exercises from: Essentials of Programming Languages: 3rd edition (http://www.eopl3.com/)☆48Updated 5 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆133Updated 10 years ago
- We read computer science books for fun. This is where the secret notes live.☆78Updated 3 years ago
- my solutions to EOPL3☆365Updated 6 years ago
- Chez Scheme☆109Updated last year
- They contain so few lines of code, yet so few people get them right.☆38Updated 11 years ago
- stex: stex to latex and latex to html converters and associated tools☆84Updated last year
- My solutions to the popular Haskell tutorial☆76Updated 12 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- All the Scheme code examples from the book "The Seasoned Schemer"☆100Updated 5 years ago
- ☆68Updated this week
- Source for PRL website☆18Updated 3 months ago
- A computer algebra system (CAS) for high school students