harlanhaskins/SwiftSAT harlanhaskins/SwiftSAT

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Swift
  • License
    MIT License
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
harlanhaskins/SwiftSAT
github

harlanhaskins

Reviews

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

Repository Details

An implementation of the DPLL boolean satisfiability algorithm in Swift

More Repositories

1

Punctual.swift

Swift dates, more fun.
Swift
320
star
2

Probably

A Swift probability and statistics library
Swift
269
star
3

Kaleidoscope-Swift

A compiler for the Kaleidoscope sample project, written in Swift
Swift
46
star
4

hasm

An Assembly-like programming language and interpreter in Haskell
Haskell
16
star
5

RIT-Weather-Control

An iPad app for controlling the weather using Bill Destler's secret wireless control protocol.
Objective-C
16
star
6

HHBarCodeViewController

A simple modal view controller that allows for quick, native, iOS 7 bar code detection.
Objective-C
12
star
7

Letter

A simplistic, integer-only programming language
C++
11
star
8

Goto.swift

An implementation of Goto in Swift
Swift
9
star
9

loop.js

Javascript image looper to replace GIFs with image sequences, to step around colorspace compression of the GIF standard.
HTML
8
star
10

Twitter-Queue-Bot

A Twitter bot that reads and tweets messages in sequence from a queue in a SQLite database.
Python
5
star
11

try-Swift-Connect

An iOS app for scanning try! Swift badges and opening Twitter feeds or sending emails.
Swift
4
star
12

BF-Toolkit

Optimizing interpreters and compilers for everyone's favorite esoteric programming language, Brainfuck.
Swift
4
star
13

Pollaroid

CSS
4
star
14

HealthNet

A web-based hospital management system created for my Introduction to Software Engineering class
Python
4
star
15

csh.link

A URL shortener for CSH, in Swift
Swift
3
star
16

Blockr

An iOS 9 Content Blocking extension that uses the MVPS Hosts File to block ads.
Swift
3
star
17

Bogo-Sort

A BogoSort algorithm written in Python and C.
C
3
star
18

Base65536.swift

An implementation of ferno's Base65536, in Swift. (https://github.com/ferno/base65536)
Swift
3
star
19

HardwareDepthControl

A toy project to connect a Flipper to the iPhone X True Depth sensor
Swift
3
star
20

Breakout-for-tvOS

A simple clone of Breakout for Apple TV
Swift
3
star
21

CSH-Webnews-iOS

An iOS client for Computer Science House's web news discussion board.
Objective-C
3
star
22

QuoteMaker

A markov chain generator generator.
Python
3
star
23

cshdj-youtube

A YouTube song source for CSH DJ.
JavaScript
3
star
24

WebNews-Birthday-Bot

A bot using @gambogi's CSHLDAP and pywebnews libraries to post WebNews posts on members' birthdays.
Python
2
star
25

Arduino-Toys

This is a grab-bag of dumb Arduino projects that I've worked on.
C++
2
star
26

NSNull-TypeAdditions

A category on NSNull that auto-sanitizes API values.
Objective-C
2
star
27

WrapGen

Generates Swifty wrappers for C enums
Swift
2
star
28

harlan-zsh-config

My personal (fish-like) zsh config.
Shell
2
star
29

What-If-CSH

A suggestions site for CSH E-board.
Haskell
2
star
30

logpy

A short small text logging server.
Python
2
star
31

Swips

Generate MIPS32 Assembly, with Swift! (please help me)
Swift
1
star
32

Photo-Blackground

iOS 7 tweak that replaces the shifting white/black background to solid black when viewing a photo.
Logos
1
star
33

iMessage-Batch

OS X command-line tool for sending batch messages on iMessage.
Shell
1
star
34

improve

A program verifier for IMP (Fall 2017 Programming Language Theory assignment)
Swift
1
star
35

CSH-News-for-iOS-2.0

WebNews. On your iPhone. Better than ever.
Swift
1
star
36

Swift-Seminar

A Swift seminar I gave at Computer Science House for CSH Insights
Swift
1
star
37

Portalboard-Pro

webOS Portal 2 Soundboard
JavaScript
1
star
38

Run-Length

An implementation of run-length encoding in Haskell
Haskell
1
star
39

COPADS-Grade

An iOS App for viewing your grade in Concepts of Parallel and Distributed Systems (CSCI-251)
Swift
1
star