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
• eschulte / goa
  Evolutionary optimization of extant software
  ☆28Updated 11 years ago
• SRI-CSL / PVS
  The People's Verification System
  ☆168Updated 2 weeks ago
• 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.
  ☆32Updated 2 months ago
• nikodemus / screamer
  Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
  ☆250Updated last year
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆125Updated 9 months ago
• froggey / Iota
  LLVM to Common Lisp transpiler.
  ☆273Updated 2 years ago
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆62Updated 2 years ago
• ethagnawl / ecl-hello-r-lisp
  Embeddable Common-Lisp C-Interop Demo
  ☆15Updated 3 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Updated 5 years ago
• kudu-dynamics / blaze-platform
  A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…
  ☆56Updated last year
• gnooth / xcl
  An implementation of Common Lisp.
  ☆80Updated 7 years ago
• cl-model-languages / cl-sat
  Common Interface to Boolean Satisfiability Solvers from Common Lisp
  ☆21Updated 3 years ago
• akeep / scheme-to-llvm
  A compiler to compile a simple subset of scheme to LLVM 10
  ☆111Updated 4 years ago
• telekons / one-more-re-nightmare
  A fast regular expression compiler in Common Lisp
  ☆162Updated 4 months ago
• sellout / CL-LLVM
  CFFI bindings for LLVM
  ☆99Updated last year
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆63Updated last year
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 6 years ago
• neil-lindquist / linear-programming
  A Common Lisp library for solving linear programming problems
  ☆110Updated 7 months ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Updated 2 years ago
• s-expressionists / Concrete-Syntax-Tree
  Concrete Syntax Trees represent s-expressions with source information
  ☆64Updated 5 months ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆106Updated 2 years ago
• ury-marshak / kr
  Prototype object system for Common Lisp and more. KR: Constraint-Based Knowledge Representation
  ☆15Updated last year
• projectured / projectured
  ProjecturEd is a generic purpose projectional editor.
  ☆142Updated 3 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆250Updated last year
• samth / disassemble
  Disassembler for Racket
  ☆79Updated 7 months ago
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆20Updated 3 years ago
• s-expressionists / Cleavir
  an implementation-independent framework for creating Common Lisp compilers
  ☆54Updated 2 months ago