andrewjlawrence Goto Github PK

astylepythonscript

buddy

BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files

build_scripts

Linux build scripts for libraries

cnf-utils

Dimacs CNF utilities

codekata

cryptominisat

An advanced SAT Solver

cv

My cv

dotty

Research platform for new language concepts and compiler technologies for Scala.

drat-trim

Marijn Heule's DRAT-TRIM with some modifications

drat-trim-1

The DRAT-trim proof checker

emacs-as-a-c-cplusplus-editor-ide-settings

.emacs file for "Emacs as a C/C++ Editor/IDE" video tutorial series

ertmsmodelling

ERTMS Modelling in Real Time Maude

esnacc-ng

A continuation of the Enhanced SNACC ASN.1 compiler - See http://mail.esnacc.org/mailman/listinfo/dev

flintplusplus

Flint++ is cross-platform, zero-dependency port of flint, a lint program for C++ developed and used at Facebook.

keycloak

Open Source Identity and Access Management For Modern Applications and Services

ldap-haskell

Bindings for LDAP [Haskell]

libdsm

Defective SMb: A minimalist and read-only implementation of SMB using Plain'Ol C

maude

This repository contains the Maude 2 interpreter source tree.

maude-cxx-api

A C++ API for the declarative programming language Maude

parserlibrary

parsly

A concise, idomatic, fast (monadic) parser combinator library for C++11.

pbjson

A fast C++ serialization and de-serialization of Google's protobuf Messages into/from JSON format.

projecteuler

Project Euler solutions

pyparsingworkshop

Pycon 2018 Pyparsing workshop

pysynergy

A Python module that wraps the CM Synergy command line interface

pythonmaude

python maude intrepreter

satisfy

A toy SAT solver

scalaparsetrials

Test programs using scala parse.

thesis

vagrant

Vagrant is a tool for building and distributing development environments.