chameco

abcBridge Public
Forked from GaloisInc/abcBridge

Haskell bindings for ABC

Haskell BSD 3-Clause "New" or "Revised" License Updated Oct 15, 2019
aig Public
Forked from GaloisInc/aig

Provides an interface for AIGs and word-level operations on them

Haskell 1 Other Updated Sep 24, 2019
awesome-emacs Public
Forked from emacs-tw/awesome-emacs

A community driven list of useful Emacs packages, libraries and others.

Emacs Lisp Updated Jan 27, 2018
bird Public

https://sbree.se/bird/index.html

PureScript Updated Jun 7, 2020
bramble Public

dependently-typed lisp with flexible compiler backends

programming-language dependent-types lisp type-theory unsound

Haskell 26 1 BSD 3-Clause "New" or "Revised" License Updated May 24, 2019
chann.el Public

Magic: The Gathering in org-mode

emacs mtg magic-the-gathering org-mode

Emacs Lisp 1 GNU General Public License v3.0 Updated Jan 24, 2020
crucible Public
Forked from GaloisInc/crucible

Crucible is a library for symbolic simulation of imperative programs

Haskell Updated Oct 18, 2019
crypto1 Public

Cryptography and Network Security - Homework 1

Haskell Updated Sep 23, 2018
crypto2 Public

Cryptography and Network Security - Homework 2

Haskell BSD 3-Clause "New" or "Revised" License Updated Nov 28, 2018
crypto3 Public

Cryptography and Network Security - Homework 3

Updated Nov 6, 2018
cryptol Public
Forked from GaloisInc/cryptol

Cryptol: The Language of Cryptography

Haskell BSD 3-Clause "New" or "Revised" License Updated Jun 28, 2019
cryptol-verifier Public
Forked from GaloisInc/cryptol-verifier

The Cryptol Symbolic Simulator, part of SAW.

Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 12, 2019
crypto_netsec_hw1 Public
Forked from faroos3/crypto_netsec_hw1

This is my repository for the first CSCI-4230 homework taught by Professor Yener at RPI.

Python 1 Updated Sep 24, 2018
csci2963_mongodb_lab Public
Forked from raymondjacobson/csci2963_mongodb_lab

Lab for CSCI2963: Introduction to MongoDB

Python Updated Apr 11, 2017
divine Public

3D voxel engine using geometry shaders

C 1 Updated Jan 25, 2018
dwarf Public
Forked from GaloisInc/dwarf

Haskell library for parsing DWARF object format

Haskell Other Updated Mar 22, 2019
elf-edit Public
Forked from GaloisInc/elf-edit

The elf-edit library provides a datatype suitable for reading and writing Elf files.

Haskell Other Updated Oct 22, 2019
emacs-virt-manager Public
Forked from jsynacek/emacs-virt-manager

Emacs major mode for managing virtual machines.

Emacs Lisp GNU General Public License v2.0 Updated Dec 22, 2014
fib Public
Forked from braxtonhall/fib

the fibonacci only you would give me

Assembly Updated Oct 28, 2022
final Public

Cryptography and Network Security - Final Project

Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 10, 2018
flexdis86 Public
Forked from GaloisInc/flexdis86

A library for disassembling x86-64 binaries.

Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 4, 2020
gods Public
Forked from schachmat/gods

dwm status script written in Go

Go Other Updated Mar 28, 2017
grothendieck Public

pursuing stack

Nix Updated Jan 24, 2020
helm-system-packages Public
Forked from emacs-helm/helm-system-packages

A Helm interface to the package manager of your operating system

Emacs Lisp GNU General Public License v3.0 Updated Jun 28, 2018
Hitman Public

Clojure Markdown parser

Clojure 60 6 Updated Nov 8, 2018
instruction-test Public

Utility scripts for testing SAW x86 simulation against the machine

Makefile Updated Jan 10, 2021
jvm-parser Public
Forked from GaloisInc/jvm-parser

A Haskell parser for JVM bytecode files

Haskell Other Updated Jun 17, 2019
jvm-verifier Public
Forked from GaloisInc/jvm-verifier

The Java Symbolic Simulator, part of SAW.

Haskell BSD 3-Clause "New" or "Revised" License Updated Oct 15, 2019
kabigon Public

Pokemon Crystal save file parser / editor

Haskell Updated Jan 4, 2021
llvm-pretty Public
Forked from GaloisInc/llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding

Haskell Other Updated Oct 17, 2019