Alternatives and similar repositories for cs-046

Users that are interested in cs-046 are comparing it to the libraries listed below

• JessCodes / emotional-index
  Emote Me: Web app and backend API for Swift mobile app that detects user emotions and offers resources based on individual preferences.
  ☆7Updated 8 years ago
• yuhuili / Racket.js
  Racket Interpretor | HackPrinceton Fall 2016
  ☆7Updated 8 years ago
• the-little-prover / the-little-prover.github.io
  ☆11Updated 9 years ago
• esilkensen / yaml
  A YAML library for Racket.
  ☆20Updated 3 years ago
• salogel42 / Dominion
  Java version of the card game Dominion
  ☆14Updated 14 years ago
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 4 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆33Updated 12 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 5 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 10 years ago
• maryrosecook / islaclj
  A programming language for young children
  ☆319Updated 11 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 10 years ago
• trello-archive / category-theory
  sometimes math is just too much fun
  ☆22Updated 10 years ago
• taijiweb / taijilang
  a customizable and extensible language with dynamic parser and meta compilation.
  ☆65Updated 9 years ago
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 8 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• wonks / wonks.github.io
  PL Wonks website
  ☆12Updated this week
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆15Updated 12 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• blangel / ply
  a sensible (so far java) build tool
  ☆23Updated 6 years ago
• donaldsonjw / bigloo
  Bigloo Scheme Compiler
  ☆12Updated 9 years ago
• klutometis / aima
  Solutions to AIMA (Artificial Intelligence: A Modern Approach)
  ☆162Updated 10 years ago
• passy / ltxbot
  A Twitter bot that renders LaTeX for you
  ☆21Updated 5 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆17Updated last month
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated 3 weeks ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 9 years ago
• DarrellAucoin / IntroSQL
  Introduction to SQL Talk: UW Stats Club
  ☆9Updated 9 years ago
• arclanguage / Clamp
  Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.
  ☆12Updated 4 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• squest / zenx-integrated-learning
  Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell
  ☆19Updated 9 years ago