stedolan/hax

Stars
23
Rank 1,016,462 (Top 21 %)
Language
Java
Created over 15 years ago
Updated about 8 years ago

stedolan/hax

stedolan

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

Random scripts, snippets of code, whatever.

jq

Command-line JSON processor

malfunction

Malfunctional Programming

counterexamples

Counterexamples in Type Systems

mlsub

Prototype type inference engine

crowbar

Property fuzzing for OCaml

bf.sed

A brainfuck compiler, written in sed

ppx_stage

Staged metaprogramming in stock OCaml

idris-malfunction

Experimental Malfunction backend for Idris

caml-oxide

safe FFI between OCaml and Rust (experimental)

minhttp

A tiny and surprisingly featureful webserver

git-ls

List files, annotated by git status

pathfinder

pythonic filesystem library

libfib

A library for high-performance lightweight threads

llvm

Context switching for LLVM

linkage

easy-to-use wrapper for OCaml's Dynlink

ocaml-afl-persistent

persistent-mode afl-fuzz for ocaml

Sandbox

Sandbox for running native code under Linux at full speed, without allowing it to do anything other than read/write stdio

bzseek

Random access library for bzip2 files

cshore

Call C from Python without writing bindings

moria

Embedded language for construction of DWARF

with-gdb

Attaches gdb to crashed processes

nd

Netsoc LDAP directory

fyp

Final year project

wikiflow

random walks through human knowledge

python-monkeypatch

Bringing Ruby best practices to Python

Altitude

Debugging above C level

clang

Clang C/C++ compiler, with patches to support context-switching

sequent-subtyping

irclinks

IRC network visualisation

seqbuf

Sequential buffer access

bandgraph

Scale-space visualisation of time-series data

sneeky

Steganography through bad spelling