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
• anticomputer / emacs-capstone
  elisp bindings for the capstone disassembler
  ☆23Updated 5 years ago
• froggey / Iota
  LLVM to Common Lisp transpiler.
  ☆273Updated 2 years ago
• SRI-CSL / PVS
  The People's Verification System
  ☆168Updated 2 weeks ago
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆62Updated 2 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
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆125Updated 9 months ago
• telekons / one-more-re-nightmare
  A fast regular expression compiler in Common Lisp
  ☆162Updated 4 months ago
• akeep / scheme-to-llvm
  A compiler to compile a simple subset of scheme to LLVM 10
  ☆111Updated 4 years ago
• gnooth / xcl
  An implementation of Common Lisp.
  ☆80Updated 7 years ago
• vsedach / Vacietis
  C to Common Lisp compiler
  ☆320Updated 3 years ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Updated 2 years ago
• stylewarning / deprecated-coalton-prototype
  Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
  ☆208Updated 4 years ago
• l3kn / lisp-compiler-llvm
  A Self-Hosting LISP to LLVM-IR Compiler
  ☆28Updated 6 years ago
• sellout / CL-LLVM
  CFFI bindings for LLVM
  ☆99Updated last year
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• dym / movitz
  Movitz: a Common Lisp x86 development platform
  ☆84Updated 14 years ago
• neil-lindquist / linear-programming
  A Common Lisp library for solving linear programming problems
  ☆110Updated 7 months ago
• samth / disassemble
  Disassembler for Racket
  ☆79Updated 7 months ago
• y2q-actionman / with-c-syntax
  C language syntax in Common Lisp
  ☆152Updated 3 years ago
• j3pic / lisp-binary
  A library to easily read and write complex binary formats.
  ☆102Updated last year
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆68Updated 3 years ago
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆63Updated last year
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last week
• s-expressionists / Eclector
  A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees
  ☆126Updated last week
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆278Updated 3 weeks ago
• stylewarning / cl-algebraic-data-type
  Algebraic data types in Common Lisp
  ☆142Updated 6 months ago