Alternatives and similar repositories for sel

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

• GrammaTech / resolve
  Resolve software differencing and merging
  ☆38Updated 3 years ago
• anticomputer / emacs-capstone
  elisp bindings for the capstone disassembler
  ☆23Updated 5 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• SRI-CSL / PVS
  The People's Verification System
  ☆167Updated this week
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆32Updated last month
• eschulte / goa
  Evolutionary optimization of extant software
  ☆28Updated 11 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆123Updated 8 months ago
• GrammaTech / gtirb-rewriting
  Python API for rewriting GTIRB files
  ☆19Updated 2 months ago
• nikodemus / screamer
  Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
  ☆248Updated last year
• gnooth / xcl
  An implementation of Common Lisp.
  ☆80Updated 7 years ago
• telekons / one-more-re-nightmare
  A fast regular expression compiler in Common Lisp
  ☆161Updated 3 months ago
• samth / disassemble
  Disassembler for Racket
  ☆79Updated 6 months ago
• cl-model-languages / cl-sat
  Common Interface to Boolean Satisfiability Solvers from Common Lisp
  ☆21Updated 3 years ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆277Updated last month
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆62Updated 2 years ago
• sellout / CL-LLVM
  CFFI bindings for LLVM
  ☆99Updated last year
• akeep / scheme-to-llvm
  A compiler to compile a simple subset of scheme to LLVM 10
  ☆110Updated 4 years ago
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆63Updated last year
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• vsedach / Vacietis
  C to Common Lisp compiler
  ☆319Updated 3 years ago
• hraban / cl-graph
  Common Lisp library for manipulating graphs and running graph algorithms
  ☆79Updated last year
• s-expressionists / Cleavir
  an implementation-independent framework for creating Common Lisp compilers
  ☆53Updated last month
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆20Updated 3 years ago
• froggey / Iota
  LLVM to Common Lisp transpiler.
  ☆273Updated 2 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆106Updated 2 years ago
• eschulte / elf
  Actively maintained at https://github.com/grammatech/elf
  ☆29Updated 5 years ago
• ruricolist / vernacular
  Module system for languages that compile to Common Lisp
  ☆63Updated 2 years ago
• s-expressionists / Concrete-Syntax-Tree
  Concrete Syntax Trees represent s-expressions with source information
  ☆62Updated 4 months ago
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆77Updated last week