pkhuong/tetris-dpll

Stars
3
Rank 3,951,768 (Top 79 %)
Language
Common Lisp
Created over 9 years ago
Updated over 9 years ago

pkhuong/tetris-dpll

pkhuong

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An implementation of the DPLL at the core of http://arxiv.org/abs/1404.0703

Xecto

Napa-FFT3

Faster, bit-reversed, FFT in CL

reciprocal

Faster division by constants that aren't known at compile-time

Pipes

A traversal fusion EDSL for Common Lisp

VLBDB

Very late bitcode and data binder

aerie

Aerie: a regex-like engine nested word grammars

string-case

Excessive macro that generates decision trees for small sets of strings

barrierd

Safely privileged daemon to let userspace wait on global barriers with low, constant overhead

polynomial-approximation-catalogue

A catalogue of efficient and accurate polynomial approximations

bitap-regexp

Code to compile regular expressions into bitwise code

Napa-FFT

Cache-friendly fast fourier transform in pure CL

strokkur

fairly reliable connectionless messaging

cl-simd-vm

Compiler and VM for SIMD-oriented vector processing

jaotmap

Experiments with hybrid interpretation methods for bitmap indexing

quinine

Quinine is a Rust library that implements atomic, lock-free, but write-once versions of containers like `Box` or `Arc`.

kismet-cache

Second Chance cache for persistent files on disk

csm

Safely-rounded Confidence Sequence Method

streaming-serialisation-spike

Experiment with a streaming serialisation format

cholesky-is-magic

Toy interior point method

rational-simplex

CL wrapper around QSopt-Exact, an exact (rational arithmetic) LP solver

acd-alm

Accelerated coordinate descent for an augmented Lagrangian method

raffle

A non-cryptographic "vouching" system

ck_pring

Napa-FFT2

Experiments with 2/4/6-step FFT algorithms

palladium

Experiment in stronger fusion types

soBundle

Convenient wrapper around an old version of Antonio Frangioni's [B]TT bundle method

sorted-search-benchmarks

Dump of code, data, scripts, etc. for a couple benchmarks in sorted vector (from pvk.ca)

direct-mode-fsm

Experimental "immediate mode" concurrent state machine API.

sse-mandelbrot

Tiny case study to develop an SSE intrinsic interface for SBCL

TODO

Public TODO list. Cross between .finger and a notepad

set-covering-decomposition

Experiment in surrogate decomposition for the fractional set covering problem

sbcl-gsoc2013

crevbin

Fast bit-reverse in C99

timely-coherent-logic

An implementation of coherent logic with differential dataflow

app_jetex

Toy static key-value server

one-sided-ks

An implementation of the Kolmogorov-Smirnov test described in https://www.pnas.org/content/pnas/61/3/804.full.pdf