tlaitinen/xor tlaitinen/xor

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    C++
  • License
    GNU General Publi...
  • Created about 10 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tlaitinen/xor
github

tlaitinen

Reviews

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

Repository Details

Software related to PhD Thesis "Extending SAT Solver with Parity Reasoning"

More Repositories

1

yesod-dsl

A domain specific language and a code generator desined to create RESTful services for managing an RDBMS with Yesod web framework and Persistent.
Haskell
48
star
2

prototls

C++ library for asynchronous client/server communication with GnuTLS
C++
11
star
3

yesod-datatables

Routines for implementing server-side processing for DataTables (jQuery grid) in Haskell
JavaScript
4
star
4

react-redux-pg-app

TypeScript
2
star
5

datepainter

A simple jQuery calendar widget for selecting multiple dates by "painting".
JavaScript
2
star
6

react-redux-typed-connect

Helper to derive React component props types from Redux state and actions mapper functions.
TypeScript
1
star
7

expressjs-starter

Basic express.js setup with pg-promise, pbkdf1 auth and migrations
JavaScript
1
star
8

http-attoparsec

Attoparsec parsers for http-types
Haskell
1
star
9

redis-job-queue

Simple Redis-backed job queue in Haskell
Haskell
1
star
10

servant-cookie-hmac-auth-example

Cookie and (HMAC) request body authentication example for Servant
Haskell
1
star