Alternatives and similar repositories for goa:

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

• DalekBaldwin / clometa
  An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.
  ☆14Updated 9 years ago
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆60Updated 4 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
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆30Updated last month
• guicho271828 / ArriVAL
  Yet Another Classical planning plan validator written in modern Common Lisp
  ☆11Updated 3 years ago
• GrammaTech / resolve
  Resolve software differencing and merging
  ☆37Updated 2 years ago
• binghe / portable-threads
  Portable threads API for Common Lisp (from GBBopen project)
  ☆13Updated 3 years ago
• sharplispers / pseudoscheme
  An implementation of Scheme embedded in Common Lisp
  ☆25Updated 13 years ago
• jcbeaudoin / MKCL
  ManKai Common Lisp
  ☆33Updated 10 months ago
• glv2 / bst
  Binary Search Tree
  ☆9Updated 2 years ago
• cl-model-languages / cl-sat
  Common Interface to Boolean Satisfiability Solvers from Common Lisp
  ☆14Updated 2 years ago
• mmontone / cl-pluggable-types
  Pluggable types for Common Lisp
  ☆19Updated last year
• s-expressionists / Trucler
  Environment protocol for Common Lisp compilers.
  ☆33Updated last year
• olivermg / owlisp
  A Common Lisp compiler, designed to compile to C (and from there to native code or JavaScript)
  ☆26Updated 10 years ago
• pnathan / generic-comparability
  implementation of cdr-8
  ☆17Updated 7 years ago
• marcoheisig / numpy-file-format
  Read and write Numpy .npy and .npz files.
  ☆16Updated last year
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆28Updated 2 years ago
• phoe / destructuring-bind-star
  DESTRUCTURING-BIND with proper error signaling
  ☆13Updated 4 years ago
• hoelzl / Clicc
  The Clicc Common Lisp implementation (version 0.6.4)
  ☆19Updated 11 years ago
• sionescu / swap-bytes
  Efficient endianness conversion for SBCL
  ☆20Updated 9 months ago
• jar398 / pseudoscheme
  Scheme to Common Lisp
  ☆15Updated last year
• jpellegrini / spartns
  Spartns is a SPARse TeNSor representation library. This project moved to Gitlab
  ☆10Updated 6 years ago
• cosmos72 / hyperluminal-db
  (ALPHA) Persistent, memory-mapped Common Lisp object store
  ☆14Updated 4 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 2 years ago
• pkhuong / Xecto
  80% xectors
  ☆42Updated 3 years ago
• death / imcl
  ECL + IMGUI = IMCL
  ☆17Updated 4 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• nikodemus / pileup
  A simple thread-safe binary heap implementation for Common Lisp. MIT licence.
  ☆32Updated 9 years ago
• guicho271828 / common-lisp-extensions
  list of extensions beyond CL available in lisp implementations, and the status of its spread.
  ☆21Updated 5 years ago
• wedesoft / aiscm
  Guile numerical arrays and tensor extension
  ☆54Updated last month