stanfordhaskell / cs43Links
Course materials for Stanford's CS43: Functional Programming Paradigms
☆31Updated 5 years ago
Alternatives and similar repositories for cs43
Users that are interested in cs43 are comparing it to the libraries listed below
Sorting:
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- functional neural networks in ocaml☆89Updated 5 years ago
- Interesting Papers and Ideas☆85Updated 8 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Variaous articles☆79Updated 2 years ago
- Short essays I've written☆79Updated last year
- Solutions, discussions, and approaches to the exercises☆145Updated 6 years ago
- ACT community resources☆469Updated 5 years ago
- Experiments in an explorable visual medium for mathematics☆264Updated 8 years ago
- A lisp rosetta stone to demonstrate modern language features☆169Updated 3 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆151Updated 2 years ago
- A catalog of code worth reading☆113Updated 8 years ago
- code + contents of my website, and programming life☆369Updated last week
- 99 Problems in OCaml☆22Updated 9 years ago
- Polyglot solutions for www.projecteuler.net mathematical challenges☆171Updated 2 years ago
- Algebraic structures for untyped Racket☆78Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 8 months ago
- Working through Structure and Interpretation of Classical Mechanics.☆126Updated last week
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆185Updated 2 years ago
- A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators i…☆253Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- A terse Prolog course☆43Updated 6 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 8 months ago
- Various experiments in relational programming☆273Updated 3 years ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆166Updated 10 years ago
- ☆89Updated 9 years ago
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆117Updated 7 years ago