Alternatives and similar repositories for ppcc

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

• cirosantilli / test-git-web-interface
  Tests to find bugs on Git web interfaces like GitHub, GitLab, etc. <script>alert('xss')</script>
  ☆79Updated 3 weeks ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• TomWildenhain / PowerPoint-Fractals
  "code" demonstrating PowerPoint Fractals
  ☆36Updated 5 years ago
• veggiedefender / projectordino
  Play the Chrome T-Rex game by physically jumping
  ☆57Updated 4 years ago
• TomWildenhain / pptcc
  ☆472Updated 3 years ago
• histocrat / hello_world
  ☆40Updated 9 years ago
• zepouet / Xee-xCode-4.5
  Xee source code for xCode 4.5
  ☆58Updated 12 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆249Updated 2 months ago
• mrgriscom / minesweepr
  a minesweeper solver and html5 game client
  ☆68Updated 3 years ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆66Updated 3 weeks ago
• alyssarosenzweig / scratch-llvm
  Cross-compiling LLVM into MIT Scratch, because it's interesting.
  ☆82Updated 9 years ago
• zmbc / shakespearelang
  An interpreter for the Shakespeare Programming Language, implemented in Python
  ☆98Updated 3 weeks ago
• harryli0088 / hamming-code
  ☆39Updated 3 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 10 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆100Updated 4 months ago
• ccz181078 / Coq-BB5
  ☆307Updated 2 months ago
• boothby / repiet
  A compiler for the esoteric language Piet, targeting multiple backends.
  ☆94Updated 5 years ago
• BigZaphod / Taxi
  The Taxi Programming Language
  ☆42Updated 11 months ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆319Updated last year
• HackerPoet / Conics
  An interactive conic visualization app used to record this video.
  ☆187Updated 5 years ago
• ncase / mental-health
  Mental Health Tips (ft. Anxiety Wolf)
  ☆75Updated last month
• emichael / texthings
  Tex All the Things: Chrome extension which typesets LaTeX in webpages using MathJax
  ☆84Updated 3 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆38Updated this week
• ETHproductions / japt
  Japt 1.4.5, the other JavaScript golfing language
  ☆75Updated 4 years ago
• blovish / kirkslider
  Kirk Slider
  ☆29Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated this week
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated 2 weeks ago
• TartanLlama / vizh
  An esoteric visual language that takes image files as input based on a multi-tape turing machine, designed for compatibility with C.
  ☆234Updated last year
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year