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
  ☆37Updated 3 years ago
• SRI-CSL / PVS
  The People's Verification System
  ☆156Updated this week
• anticomputer / emacs-capstone
  elisp bindings for the capstone disassembler
  ☆23Updated 5 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆31Updated last month
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆25Updated 2 years ago
• eschulte / goa
  Evolutionary optimization of extant software
  ☆27Updated 11 years ago
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆62Updated 2 years ago
• akeep / scheme-to-llvm
  A compiler to compile a simple subset of scheme to LLVM 10
  ☆109Updated 4 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆115Updated 3 months ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆229Updated last week
• samth / disassemble
  Disassembler for Racket
  ☆79Updated last month
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆114Updated 6 years ago
• l3kn / lisp-compiler-llvm
  A Self-Hosting LISP to LLVM-IR Compiler
  ☆27Updated 5 years ago
• sellout / CL-LLVM
  CFFI bindings for LLVM
  ☆102Updated last year
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆19Updated 3 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆54Updated 8 years ago
• j3pic / lisp-binary
  A library to easily read and write complex binary formats.
  ☆97Updated 6 months ago
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆62Updated 7 months ago
• ethagnawl / ecl-hello-r-lisp
  Embeddable Common-Lisp C-Interop Demo
  ☆14Updated 2 years ago
• eschulte / elf
  Actively maintained at https://github.com/grammatech/elf
  ☆29Updated 4 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• froggey / Iota
  LLVM to Common Lisp transpiler.
  ☆268Updated last year
• white-flame / am
  Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
  ☆53Updated last year
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆37Updated last year
• GrammaTech / gtirb-rewriting
  Python API for rewriting GTIRB files
  ☆19Updated this week
• gnooth / xcl
  An implementation of Common Lisp.
  ☆79Updated 6 years ago
• k-stz / cl-ptrace
  live process hacking - lisp bindings to ptrace()
  ☆54Updated 3 years ago