zacque0's Stars
y2q-actionman/with-c-syntax
C language syntax in Common Lisp
pfdietz/ansi-test
My working copy of the Common Lisp ANSI Test Suite
scymtym/traits
PROTOTYPE
zkat/sheeple
Cheeky prototypes for Common Lisp
guicho271828/common-lisp-project-ideas
Discuss future project ideas
gregcman/scheme2llvm
Scheme to LLVM compiler in Common Lisp
SeijiKoide/scheme-in-cl
fstamour/breeze
Experiments on workflow with common lisp
alxbnct/Minerva
An implementation of R5RS Scheme in Common Lisp and C.
ruricolist/overlord
Build system in Common Lisp
sunfishcode/mustang
Rust programs written entirely in Rust
carp-lang/Carp
A statically typed lisp, without a GC, for real-time applications.
ksluckow/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
niklasso/minisat
A minimalistic and high-performance SAT solver
fm-polimi/zot
The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
verifast/verifast
Research prototype tool for modular formal verification of C and Java programs
o-oconnell/minixfromscratch
Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU
Tipoca/intuitionistic
Intuitionistic Programming Language
michaelt/martin-lof
papers of Per Martin Löf
groupoid/anders
🧊 Модальний гомотопічний верифікатор математики
JetBrains/Arend
The Arend Proof Assistant
kennytilton/cells
A Common Lisp implementation of the dataflow programming paradigm
namin/inc
an incremental approach to compiler construction
vsedach/Vacietis
C to Common Lisp compiler
wadehennessey/wcl
namin/GETFOL
FOL Software Archaeology
passy/awesome-recursion-schemes
Resources for learning and using recursion schemes.
rocky/elisp-bytecode
Let's document Emacs Lisp Bytecode (Lisp Assembly Program) instructions
rui314/chibicc
A small C compiler