Alternatives and similar repositories for bc18-scaffold

Users that are interested in bc18-scaffold are comparing it to the libraries listed below

• prakhar1989 / JSJS
  A strongly typed language for the web!
  ☆40Updated 9 years ago
• mohd-akram / languages
  A graph of programming languages connected through compilers.
  ☆176Updated 2 years ago
• ftripier / spookyc
  A compiler for the 🎃 Spooky 😱 programming language 👻
  ☆151Updated 7 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 9 years ago
• strangeloop / StrangeLoop2018
  Strange Loop 2018 resources
  ☆50Updated 6 years ago
• aryx / pfff
  See https://github.com/returntocorp/pfff which is now the official pfff repository
  ☆34Updated 5 years ago
• emnh / rts-reasonml
  Experimental ReasonML implementation of rts game
  ☆48Updated 2 years ago
• wiredsister / free-software-computer-science-graphics
  A free software repository of infographics and visualizations for understanding Computer Science ideas
  ☆22Updated 7 years ago
• mam91 / neat-genetic-mario
  Update of Seth Bling's MarI/O
  ☆185Updated 2 years ago
• justinmeza / doge
  The doge interpreter for the shibe esoteric programming language.
  ☆98Updated 12 years ago
• Kevinpgalligan / GoLfind
  Finding Game of Life states that lead to pictures.
  ☆18Updated last year
• cmcculloh / commit-clickbait
  Top 28 strategies for perfect link bait git commit comments, first you'll be skeptical, then you'll be inspired.
  ☆60Updated 7 years ago
• erikbern / software-estimation
  Statistical analysis of software estimation
  ☆91Updated 6 years ago
• blinry / legit
  An esoteric programming language where programs are defined by the graph of commits in a Git repository.
  ☆142Updated 6 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆66Updated 5 years ago
• mbebenita / WebAssemblyStudio
  Learn, Teach, Work and Play in the WebAssembly Studio
  ☆19Updated 3 years ago
• anjlab / sat3
  Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem
  ☆90Updated 10 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆43Updated 9 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• markriedl / gaige
  Game AI Game Engine
  ☆100Updated 7 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• AnnieZhou08 / DrawRacket4Me
  DrawRacket4Me draws trees and graphs from your code, making it easier to check if the structure is what you wanted.
  ☆42Updated 9 years ago
• aatishb / covidtrends
  Tracking the growth of COVID-19 Cases worldwide
  ☆299Updated 3 years ago
• stared / weltschmerz
  Weltschmerz by age - "I am X years old and... [Google autocomplete]"
  ☆23Updated 7 years ago
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆15Updated 5 years ago
• geohot / coq-hardy
  Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
  ☆54Updated 6 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 7 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 8 years ago
• drasis / cpp_maze_generation
  generating mazes in different shapes
  ☆24Updated 6 years ago
• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆110Updated 5 years ago