Alternatives and similar repositories for Compiler-Design-Laboratory

Users that are interested in Compiler-Design-Laboratory are comparing it to the libraries listed below

• tanmaya0102 / Compiler-Design-Programs
  Compiler Design Lab Programs
  ☆17Updated 4 years ago
• shivananda199 / Mini-C-Compiler
  ☆34Updated 7 years ago
• kaushiksk / mini-c-compiler
  Course Project in Compiler Design - A compiler for a subset of the C language
  ☆38Updated last year
• bhargavkulk / CSF363-baseline
  ☆8Updated 2 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated last week
• agurfinkel / minisat
  A minimalistic and high-performance SAT solver
  ☆23Updated last year
• niteshkumartiwari / B-Plus-Tree
  Mini Database System using B+ Tree in C++ (Simple & Self-Explanatory Code)
  ☆202Updated 2 years ago
• parasol-aser / D4
  D4: Fast Concurrency Debugging with Parallel Differential Analysis
  ☆18Updated 5 years ago
• jake1412 / 8086-Programs
  ASM Programs on 8086
  ☆87Updated 5 years ago
• shouryaraj / Process-scheduling-simulator
  Created programs to simulate two different scheduling algorithms i.e. First come, first served and Preemptive Round Robin scheduling
  ☆16Updated 4 years ago
• rickydebojeet / compiler-programs
  Programs for Compiler Design course CS601 using Lex and C.
  ☆17Updated 6 months ago
• sdht0 / automata-from-regex
  A python program to build nfa, dfa and minimised DFA from given regular expression. Uses Tkinter for GUI and GraphViz for graphs.
  ☆120Updated 2 months ago
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆454Updated this week
• anirudhvs / docker-installs
  A repo to install softwares for development using docker.
  ☆15Updated 3 years ago
• marijnheule / microsat
  microsat
  ☆136Updated 3 years ago
• ucb-bar / autophase
  ☆31Updated 3 years ago
• aman-goel / avr
  Reads a state transition system and performs property checking
  ☆83Updated 4 months ago
• aswanthpp / Compiler-Design
  A compiler Design Project Repository Contains Lexical,Parser,Semantic analyzer and ICG modules.
  ☆21Updated 7 years ago
• bhuvansingla / cs220-computer-organization
  Assignment submissions of the semester 2020-21-II offering of CS220 at IIT Kanpur
  ☆12Updated 4 years ago
• Boolector / boolector
  A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
  ☆350Updated 10 months ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆661Updated last week
• arminbiere / kissat
  ☆545Updated 3 months ago
• f0rki / mapping-high-level-constructs-to-llvm-ir
  A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.
  ☆622Updated 8 months ago
• hwmcc / btor2tools
  A generic parser and tool package for the BTOR2 format.
  ☆41Updated last month
• gboduljak / stanford-compilers-coursework
  This is a repository of coursework project for the Stanford Compilers MOOC course. The result is a fully-working compiler for the COOL Pr…
  ☆57Updated 2 years ago
• b30wulffz / automata-toolkit
  A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.
  ☆12Updated 4 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆96Updated this week
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆427Updated this week
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• Mestway / Scythe
  Synthesizing SQL queries from input / output examples
  ☆45Updated 4 years ago