kmicinski/GalSat kmicinski/GalSat

  • Stars
    star
    2
  • Language
    C++
  • License
    Other
  • Created almost 14 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kmicinski/GalSat
github

kmicinski

Reviews

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

Repository Details

The GalSat genetic algorithm based SAT solver

More Repositories

1

program-analysis

Program analysis grad seminar at SU (2019)
HTML
57
star
2

cmsc330examples

Examples from the class CMSC 330 during Summer 2015
OCaml
47
star
3

example-ocaml-merlin

An example of a simple project in OCaml that uses Merlin
OCaml
36
star
4

security-courses

A list of security courses at colleges and universities
10
star
5

program-analysis-examples

Notes for CIS 700 (Fall '19) at Syracuse U.
Racket
10
star
6

htltl2mc

Model checker for HyperLTL2
OCaml
5
star
7

formal-methods-notes

Notes for CIS700, Fall 2020: Formal Methods in Computer Security
5
star
8

kmicinski.github.io

Kris' personal website..
HTML
3
star
9

blog-stuff

Code from my blog
Racket
2
star
10

redexer

The Redexer binary instrumentation system for Android
2
star
11

cmsc245examples

Examples from CMSC245
C++
2
star
12

functional_compiling_slides

Slides for compiling functional programs
OCaml
2
star
13

teaching-state-machines

A JavaScript app that offers a way to teach and animate state machines interactively
JavaScript
2
star
14

msulogo

MSU Turtle Graphics using logo
Java
2
star
15

compbio

Computational biology project for CMSC 702
Julia
2
star
16

cis352-s21

Course website / materials for CIS352, Spring 2021, at Syracuse
SCSS
2
star
17

cs107-notes

Notes from CS107
Python
2
star
18

cs107-p3

Graph coloring and colorability project for 107
Python
2
star
19

simpleturtlegraphics

Simple turtle graphics library for java
Java
2
star
20

cs107-p8

CS107 AI Adventure
Python
1
star
21

cis352-s22

SCSS
1
star
22

gimme-indexes

Implements Automatic Index Selection for sets of Datalog queries
Racket
1
star
23

cs107-p6

Project 6 in CS107: Linked lists and HaverQuest Intro
Python
1
star
24

cis352-s20

CIS352 at SU Spring 2020
CSS
1
star
25

cs245-examples

C++
1
star
26

aam-based-ai

Papers on AAM-based abstract interpretation
1
star
27

terrible-web-app

An obviously-insecure web app for us to exploit
Python
1
star
28

file-server

File server assignment (and key maybe?) for CMSC 311
C
1
star
29

micinski-website

Kristopher Micinski's personal (research oriented) website.
HTML
1
star
30

ui-for-security

Papers on building and evaluating UIs for Security
1
star
31

program-analysis-p1

Homework 1 for CIS 700
Racket
1
star
32

program-analysis-p0

Project 0 for program analysis (CIS 700) at SU, Fall 2019
Racket
1
star
33

tinylangs

tiny languages in racket
Racket
1
star
34

bigstep

Big step semantics example repo
Racket
1
star
35

modern-deduction

The Modern Deduction Blog
HTML
1
star
36

irongiant

A toolkit for static analysis of Android applications in Racket
1
star
37

cmsc245

CMSC 245 @ Haverford, Fall 2017. By Kris Micinski & David Wonnacott
Racket
1
star