cs50 / splLinks
CS50's fork of Eric Roberts' Stanford Portable Library.
☆31Updated 7 years ago
Alternatives and similar repositories for spl
Users that are interested in spl are comparing it to the libraries listed below
Sorting:
- Solutions for the Ninety-Nine Lisp problems in Common Lisp.☆19Updated 8 years ago
- my blog!☆16Updated last year
- colorized REPL for GNU Guile☆37Updated 7 years ago
- An IDE for ACL2☆21Updated 4 years ago
- simply-scheme language bindings for Racket☆16Updated 3 years ago
- Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp☆17Updated 16 years ago
- Learn Lisp efficiently and become a happy programmer :)☆49Updated 3 weeks ago
- Invoke Python libraries from Guile☆13Updated 8 years ago
- Writing Scheme in Haskell☆61Updated 4 years ago
- A basic expert system, written in Prolog, that suggests what programming language one should learn first.☆46Updated 8 years ago
- Examples from the Lisp version of my semantic web book☆37Updated 2 years ago
- A natural language understanding system for English☆59Updated 3 months ago
- Common Lisp X11 interface☆16Updated last year
- Source code to my Common Lisp web development tutorial☆89Updated 3 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- How to write web applications with Racket☆50Updated 4 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Coordinating my guix hacking☆8Updated 6 years ago
- Exercism exercises in Standard ML.☆29Updated last week
- Github Actions CI / CD setup for Scheme☆14Updated 2 years ago
- Scheme library collection with yearly stable releases☆17Updated 3 years ago
- Advents of Code in Dyalog APL☆10Updated last year
- GNU APL mode for Emacs☆95Updated 3 years ago
- ☆50Updated last year
- Common Lisp Music Notation processor for different output formats (MusicXML, Lilypond, cmn) by David Psenicka. See also cm-fomus repo her…☆16Updated 9 months ago
- Turn a fresh BSD install into a Lisp workstation☆14Updated 2 years ago
- package manager for guile☆64Updated 6 years ago
- r6rs packaging of minikanren from "The Reasoned Schemer"☆11Updated 10 years ago
- Example Problems and Assignments for Prolog☆33Updated 12 years ago
- A personal repository of notes about learning lisp patterns☆16Updated 2 years ago