Alternatives and similar repositories for ptolemy

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

• zx9w / read-together
  Organize remote meetings for reading computer science papers
  ☆33Updated 5 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆112Updated 8 years ago
• Kevinpgalligan / GoLfind
  Finding Game of Life states that lead to pictures.
  ☆18Updated last year
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 11 months ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• gregfjohnson / aplette
  This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…
  ☆89Updated 2 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 5 years ago
• charles-l / dirt
  x86 assembler in scheme
  ☆29Updated 6 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆61Updated 5 years ago
• rain-1 / single_cream
  single file scheme interpreter with tail call optimization
  ☆82Updated 6 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆122Updated 12 years ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• fogus / papers-i-love
  Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.
  ☆308Updated 4 months ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆72Updated 5 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• Porges / programming-history
  Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
  ☆45Updated 6 years ago
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆33Updated 5 years ago
• Mathieu-Desrochers / Schemings
  You dig Scheme. The world is coded in C. You get both.
  ☆100Updated 4 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆56Updated 4 months ago
• panicz / pamphlet
  Source Codes for "A Pamphlet against R"
  ☆99Updated 3 years ago
• tekknolagi / tekknolagi.github.com
  My personal website
  ☆95Updated this week
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 8 months ago
• jaseemabid / micromanual
  A neatly typeset version of John McCarthy's classic paper
  ☆123Updated 4 months ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆125Updated 5 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago