Alternatives and similar repositories for cs43

Users that are interested in cs43 are comparing it to the libraries listed below

• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 6 years ago
• liaopeiyuan / zeta
  functional neural networks in ocaml
  ☆89Updated 5 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• pim-book / exercises
  Solutions, discussions, and approaches to the exercises
  ☆145Updated 6 years ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆85Updated 8 years ago
• pavel-krivanek / articles
  Variaous articles
  ☆79Updated 2 years ago
• mnielsen / magic_paper
  Experiments in an explorable visual medium for mathematics
  ☆263Updated 7 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• stepanvanzuriak / Finite
  UI as finite-state machine
  ☆96Updated 4 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• christiankissig / ocaml99
  99 Problems in OCaml
  ☆22Updated 9 years ago
• statebox / awesome-applied-ct
  ACT community resources
  ☆469Updated 5 years ago
• norswap / prolog-dry
  A terse Prolog course
  ☆43Updated 6 years ago
• howonlee / twostrangethings
  two strange things to do with neural nets
  ☆15Updated 6 years ago
• Azeirah / A-new-wave-of-programming
  A collection of related articles, experiments and demos about futuristic kinds of programming
  ☆166Updated 10 years ago
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆62Updated 6 years ago
• louisabraham / algnuth
  Algebraic Number Theory package
  ☆271Updated 4 years ago
• PlanetAPL / node-apl
  An ancient programming language adapted to a JavaScript-dominated world
  ☆28Updated 11 years ago
• j2kun / essays
  Short essays I've written
  ☆79Updated last year
• yuanchenyang / coding-js
  Javascript interpreters featuring web workers
  ☆39Updated 8 years ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆210Updated 6 years ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆126Updated last year
• jdormit / sicp-logic
  A Clojure implementation of the logic programming language from chapter 4 of SICP
  ☆68Updated 6 years ago
• viralpoetry / alzheimer-password-generator
  Chrome extension for domain dependent password generation.
  ☆13Updated 2 weeks ago
• komu / ahwen
  A simple SQL database
  ☆69Updated 11 months ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆179Updated last year
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 8 months ago
• bollu / bollu.github.io
  code + contents of my website, and programming life
  ☆368Updated this week
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆150Updated 2 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 years ago