Alternatives and similar repositories for tipsy:

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

• pallavagarwal07 / YourHonour
  A Kubernetes based, extremely easy to deploy programming judge.
  ☆9Updated 8 years ago
• nfischer / rainbows-lang
  A prototype of the rainbows programming language
  ☆14Updated 8 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 3 months ago
• Superbil / llvm.vim
  ☆21Updated 9 years ago
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆68Updated 9 years ago
• mmottl / ocaml-makefile
  Easy to use Makefile for small to medium-sized OCaml-projects
  ☆77Updated last month
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 5 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• overlogged / steak
  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
  ☆30Updated 5 years ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated last week
• pclubiitk / puppy-love
  A cryptographically secure couple matching platform with strong guarantees
  ☆76Updated 2 years ago
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆24Updated 3 weeks ago
• coala / coAST
  Universal and language-independent abstract syntax tree
  ☆52Updated 3 years ago
• prakhar1989 / JSJS
  A strongly typed language for the web!
  ☆40Updated 8 years ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆132Updated 4 years ago
• snefru / io.vypa.llvm
  LLVM Intellij Plugin
  ☆17Updated 6 years ago
• hawkw / decaf
  like Java, but less so
  ☆17Updated 9 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆26Updated last week
• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆88Updated 5 years ago
• python-gsoc / gsoc
  Scripts and ideas related to managing Google Summer of Code for the Python Software Foundation
  ☆36Updated 7 years ago
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆83Updated 6 months ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 11 years ago
• apl-cornell / jif
  Java-like Language with Static Information Flow Types
  ☆11Updated 2 years ago
• copy / gdbprofiler
  (deprecated) Rich man's profiler, a profiler for native OCaml and other executables
  ☆123Updated 9 months ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆50Updated 10 years ago