death/cmsat death/cmsat

  • Stars
    star
    2
  • Language
    Common Lisp
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
death/cmsat
github

death

Reviews

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

Repository Details

cryptominisat5 bindings for Common Lisp

More Repositories

1

reddit-mode

Reddit mode for Emacs
Emacs Lisp
76
star
2

dbus

A D-BUS client library for Common Lisp
Common Lisp
45
star
3

ssh-tunnels

Manage SSH tunnels from Emacs
Emacs Lisp
26
star
4

imcl

ECL + IMGUI = IMCL
C++
17
star
5

cl-tree-sitter

Tree-Sitter bindings for Common Lisp
Common Lisp
16
star
6

towers

Silly geodefense clone wannabe
Common Lisp
15
star
7

leveldb

LevelDB bindings for Common Lisp
Common Lisp
14
star
8

lredis

Lisp Redis bindings
Common Lisp
11
star
9

pelib

My ancient PE library
C++
9
star
10

bps

Code for the book "Building Problem Solvers" with touchups
Common Lisp
8
star
11

marray

Memory mapped files as Lisp arrays
Common Lisp
8
star
12

cl-deepspeech

DeepSpeech bindings for Common Lisp
Common Lisp
7
star
13

consix

Lispy Qix-like game in 7 days
Common Lisp
7
star
14

zonquerer

RTS-like game in 7 days
Common Lisp
6
star
15

formgrep

Try to find top-level Lisp forms matching an operator regex
Common Lisp
6
star
16

constantia

General-purpose utilities library for Common Lisp
Common Lisp
6
star
17

geocoder

Convert place names to geodesic coordinates and vice versa
Common Lisp
4
star
18

gnus-friendly-archives

Some message archives that are easy to read offline using Gnus
Common Lisp
4
star
19

exponential-backoff

An implementation of the exponential backoff algorithm in Common Lisp
Common Lisp
4
star
20

geoip

Return geographical information associated with an IP address.
Common Lisp
3
star
21

sfvtool2

A context menu shell extension to check and create SFV files
C++
3
star
22

monotonic-clock

Monotonic clock bindings for Common Lisp
Common Lisp
3
star
23

smirk

My ancient desktop switcher for WinNT/2K/XP
C++
3
star
24

webwatch

My ancient site update checker
C++
3
star
25

road-to-lisp

The Road to Lisp Survey archive
3
star
26

cheetos

Experimental benchmarking library
Common Lisp
3
star
27

copypathname

A context menu shell extension to copy pathnames to the clipboard
C++
3
star
28

brizo

My ancient x86 disassembler
C++
3
star
29

tiff4cl

(Fork of) A TIFF file parser that reads the tags leaving the actual image data alone
Common Lisp
2
star
30

sde

My ancient Stupid Debugging Engine (at least I think that's what SDE meant..)
C++
2
star
31

function-replacer

My super-ancient (DLL) function replacer
C
2
star
32

vbref

My ancient Visual Basic Reference Analyser
C
2
star
33

hourglass

A not-particularly-realistic hourglass toy program for the M5StickC
C++
2
star
34

gcm

Google Cloud Messaging (GCM) library for Common Lisp
Common Lisp
2
star
35

iconjesus

Save and restore Windows desktop icon positions
2
star
36

naggum

Show a random Naggum post in Emacs
Emacs Lisp
1
star
37

godir2

DWIM chdir for gopath source directories
Go
1
star
38

z2t

Code written to understand Biham-Kocher's PKZIP paper
C
1
star
39

hspell

Common Lisp bindings for hspell
Common Lisp
1
star
40

lyrics

Emacs command to get lyrics for currently playing song (libmpdee)
Emacs Lisp
1
star
41

brizo-older

My even more ancient x86 disassembler
C++
1
star
42

gnusdumps

Create article dumps for reading with GNUS
Common Lisp
1
star