• Stars
    star
    2
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 8 years ago
  • Updated almost 6 years ago

Reviews

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

Repository Details

SAT solver assistant. Converts propositions (p ^ q) ==> CNF ==> DIMACS CNF files.

More Repositories

1

planjure

๐ŸPath-planning algorithms (Dijkstra, A*, etc); a study in ClojureScript, Om and core.async.
Clojure
122
star
2

kapal

Extendable path-planning library
Python
9
star
3

k-means

Playing around with Clojure and k-means.
Clojure
9
star
4

neblen

โšก A programming language
Haskell
8
star
5

curvey

A b-spline sandbox that doesn't suck (as much).
Python
6
star
6

pencil

Static site generator in Haskell
Haskell
5
star
7

carnival

Expert search on code repositories. A research problem I tackled for my graduate level Information Retrieval course at UT Austin.
Python
5
star
8

scheme-compiler

Incremental Scheme to x86 compiler. Fun!
Scheme
5
star
9

rr-timeseries

A ruby timeseries library for redis for counting things over time.
Ruby
3
star
10

codewithus

Real-time collaborative coding built during Facebook Hack Day.
Ruby
2
star
11

haskell-cs194

Haskell play via http://www.seas.upenn.edu/~cis194/spring13/lectures.html
Haskell
2
star
12

true-cost

True cost of purchases
Elm
2
star
13

typing-haskell-in-haskell

https://web.cecs.pdx.edu/~mpj/thih/
Haskell
2
star
14

pong-wars-cpp

A spicy twist of a classic game
C++
1
star
15

testr

Silly little ruby test-runner
Ruby
1
star
16

git-custom-commands

Random useful custom git commands.
Shell
1
star
17

stone-tools

Stone Tools moves high-definition 720p video from a camera to live audiences in multiple locations in real-time via the internet.
Python
1
star
18

talks

Talks I've given
Clojure
1
star
19

timethis

Time your Python functions in a super simple way.
Python
1
star
20

netcontroller

UDP-based, async, thread-safe, and ghetto network controller for CS 380D.
Python
1
star
21

mc-map

Austin Stone MC Map
Ruby
1
star