ahf/binarypuzzle ahf/binarypuzzle

  • Stars
    star
    1
  • Language
    Python
  • License
    BSD 2-Clause "Sim...
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ahf/binarypuzzle
github

ahf

Reviews

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

Repository Details

Python library for solving Binary Puzzles using Z3.

More Repositories

1

hashvis

Rust Program for Deterministic Generation of Random Art.
Rust
44
star
2

passphrase-identity

Regenerable ed25519 keys for OpenSSH and OpenPGP.
C
34
star
3

irssi-lua

Unfinished Lua bindings for Irssi.
C
14
star
4

ircd-scylla

MirageOS IRC daemon.
OCaml
14
star
5

quic-pt

Quic Pluggable Transport for Tor.
Go
13
star
6

ircd-pony

A concurrent ircd written in Erlang.
Erlang
13
star
7

onion-x509

Create x509 CAs and Certificates using your Onion Service keys.
Go
13
star
8

luke

Erlang NIF for the post-quantum key exchange: A New Hope.
C
10
star
9

cocci-syntax

Vim plug-in for Coccinelle.
Vim Script
9
star
10

sphincs

Erlang NIF for SPHINCS-256: practical stateless hash-based signatures.
C
9
star
11

tor-win32

Documentation and helper files for cross compiling Tor for Windows.
Makefile
9
star
12

ircd-ratbox

Experimental Ratbox Fork with WebSocket Support
C
8
star
13

onion-tex

Onion Style LaTeX.
TeX
7
star
14

irssi-rust

Rust crate for writing modules for the Irssi IRC client
Rust
6
star
15

ircd-novo

IRC daemon written in Google's Go programming language.
Go
6
star
16

peculium_core

Peculium Core Erlang application.
Erlang
4
star
17

onion_status

Irssi script for status updates in #tor-dev on OFTC.
Perl
3
star
18

twelf-syntax

Vim plug-in for the Twelf language.
Vim Script
3
star
19

onion-vim

Vim plug-in for working with the Tor source code.
Vim Script
3
star
20

erlang-ucrypto

µCrypto is a thin wrapper for the OpenSSL API's that are missing in OTP's crypto application.
Erlang
3
star
21

aoc2018

Advent of Code 2018
Rust
2
star
22

ircsource-aup

Acceptable Use Policy for IRCsource
2
star
23

irc

IRC 2.11 Import from CVS
C
2
star
24

cowboy_error_noise

Add error noise to your Cowboy project.
Erlang
2
star
25

planet.opensource.dk

Configurations and templates for planet.opensource.dk
CSS
2
star
26

ircd-transeo

Transition IRC Daemon
Erlang
2
star
27

orbis

An Erlang library for building worker pools using consistent hashing.
Erlang
2
star
28

qtIRC

Simple IRC library for The Camp 2011 Qt Workshop
C++
2
star
29

dotfiles

Alex's dotfiles.
Vim Script
2
star
30

peculium

Peculium Client Application
Shell
2
star
31

snowflake

My fork of https://gitweb.torproject.org/pluggable-transports/snowflake.git
Go
2
star
32

beerrisk.org

Online calculator for the drinking variant of the classical board game known as Risk.
CSS
1
star
33

vim

My Vim Configuration Files
Vim Script
1
star
34

goptlib

Go Pluggable Transports Library
Go
1
star
35

twelf-experiments

Toy programs written while trying to learn the Twelf language.
1
star
36

latex-files

LaTeX template. Currently abandoned.
1
star