Discover kmcallister/detrospector Open Source project

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Haskell
License
Other
Created almost 13 years ago
Updated over 11 years ago

kmcallister

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

Markov chain text generator

glassful

Rust-like syntax for OpenGL Shading Language

Rust

163

aesni-examples

Example code for the AES crypto instructions on Intel chips

Assembly

rpi-battery-monitor

Monitor battery voltage from a Raspberry Pi

Rust

rustic-symmetries

Cheat sheet for concepts in Rust which come in matching sets or have some pleasing symmetry

alameda

Linux kernel JIT spray for SMEP / KERNEXEC bypass

embedded-breakpoints

Embed GDB breakpoints in C source code

launch-code

Cryptographic signatures for auditing unsafe code in Rust

Rust

tiny-rust-demo

Using Rust to make a 151-byte static AMD64 Linux binary

Assembly

qoppa

Metacircular evaluator for a tiny fexpr language

Scheme

urpc

Tiny RPC framework for Rust

Rust

sliderust

Write slides in rustdoc and view them in Servo or any browser!

JavaScript

seqloq

rwlock with writer priority and optimistic reads

Rust

literator

Rust macros for container initialization and iterator literals

Rust

taralli

Screen edge pointer wrapping for X

travis-doc-upload

A more secure recipe for uploading Rust docs to GitHub Pages

Shell

blog-misc

Miscellaneous files from my blog

Haskell

azurescens

Renders interactive fractal-like animations

Rust

phosphene

fractal video feedback demo as a PC master boot record

Assembly

hdis86

Haskell interface to the udis86 disassembler for x86 and x86-64 / AMD64

dynamodule

Experimental dynamic OOP framework for Rust

Rust

autoharden

Automatic binary hardening with Autoconf

Shell

math-compose

X compose key bindings for mathematics, etc

Haskell

pngbox

Demo: OS sandboxing for unsafe code in Rust

Rust

vgrs

Valgrind client requests for Rust

Rust

sat

Interface for defining and solving SAT problems in Rust

Rust

breakfast

minimal breakpoints library for x86 Linux

shqq

Embed shell commands with interpolated Haskell variables, and capture output

Haskell

rip

Arbitrary computation on x86 without using registers

dewdrop

Find gadgets for return-oriented programming on x86

Haskell

spawn

A tiny Haskell library for concurrent computations

Haskell

tracepoints

Demo of self-modifying code in quasi-C

cccallcc

call/cc for C++

C++

propane

Functional synthesis of images and animations

Haskell

haskell-re2

Haskell (and C) interface to the RE2 regular expression library

Haskell

ocb.rs

Rust bindings for OCB authenticryption (AEAD) mode

concorde

Haskell interface to the Concorde solver for the Traveling Salesperson Problem

Haskell

hexquote

Hexadecimal ByteString literals, with placeholders that bind variables

Haskell

gcode

Haskell library to produce G-code, used to control CNC equipment

Haskell

safe-globals

Safe top-level mutable variables for Haskell, which scope like ordinary values

Haskell

spool

Convert between ByteString and Vector.Storable without copying

Haskell

jvflife

Homebrew code for the JVF 2010-A LED sign; Game of Life demo

gc-models

Garbage collector models in Alloy

Alloy

kmcallister.github.io

HTML

forkallcc

fork(2)-based continuations for Rust

Rust

fixed-size-array

Rust trait for working with fixed size arrays

Rust

modela-utils

Utilities for milling circuit boards with the Modela MDX-20

Python

posix-escape

Quote arguments to be passed through the Unix shell

Haskell

minrisc

Minimal RISC-V emulator

Rust

global-lock

Provides a single global lock for Haskell code, implemented without unsafePerformIO

Haskell

clogparse

Parse IRC logs, such as the #haskell logs on tunes.org

Haskell

yices-easy

Simple interface from Haskell to the Yices SMT (SAT modulo theories) solver

Haskell

kmcallister/detrospector

kmcallister

Reviews

Repository Details

More Repositories