eschulte / goa

Related projects: ⓘ

• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆30Updated 2 weeks ago
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆18Updated 2 years ago
• guicho271828 / ArriVAL
  Yet Another Classical planning plan validator written in modern Common Lisp
  ☆11Updated 2 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 7 years ago
• pkhuong / Xecto
  80% xectors
  ☆42Updated 2 years ago
• GrammaTech / resolve
  Resolve software differencing and merging
  ☆37Updated 2 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 12 years ago
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆57Updated 3 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆27Updated last year
• acarrico / ai-memo
  AI Memo transcript
  ☆23Updated 10 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 7 years ago
• sharplispers / pseudoscheme
  An implementation of Scheme embedded in Common Lisp
  ☆24Updated 12 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• rewriting / tom
  ☆34Updated 3 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆22Updated 2 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆30Updated 6 months ago
• cl-model-languages / cl-sat
  Common Interface to Boolean Satisfiability Solvers from Common Lisp
  ☆14Updated 2 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• DalekBaldwin / clometa
  An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.
  ☆14Updated 9 years ago
• binghe / portable-threads
  Portable threads API for Common Lisp (from GBBopen project)
  ☆13Updated 3 years ago
• wedesoft / aiscm
  Guile numerical arrays and tensor extension
  ☆53Updated 10 months ago
• plops / clicc
  from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/
  ☆18Updated 8 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated 3 years ago
• s-expressionists / Trucler
  Environment protocol for Common Lisp compilers.
  ☆33Updated 8 months ago
• pinocchio / p
  Pinocchio VM
  ☆20Updated 3 years ago
• arielnetworks / cl-pattern
  ML-like Pattern Matching for Common Lisp
  ☆29Updated 12 years ago
• cosmos72 / hyperluminal-db
  (ALPHA) Persistent, memory-mapped Common Lisp object store
  ☆13Updated 3 years ago
• hoelzl / Clicc
  The Clicc Common Lisp implementation (version 0.6.4)
  ☆19Updated 10 years ago
• l3kn / lisp-compiler-llvm
  A Self-Hosting LISP to LLVM-IR Compiler
  ☆26Updated 5 years ago
• glv2 / bst
  Binary Search Tree
  ☆9Updated last year