• Stars
    star
    1
  • Language
    Haskell
  • Created almost 7 years ago
  • Updated almost 7 years ago

Reviews

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

Repository Details

Code for generating code for analyzing code from the GNU Binutils and Go reference implementation sources

More Repositories

1

hs-arm

(Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification
Haskell
19
star
2

wmonad

Tiling window manager based on xmonad.
Haskell
8
star
3

malice

Haskell framework providing abstractions and protocol-specific attacks for intercepting and modifying network traffic
Haskell
6
star
4

leftpad.ko

The infamous leftPad() implemented as a kernel module
C
5
star
5

spiderman

Exploration in browser-assisted web crawling
Python
5
star
6

nix-isabelle

Isabelle packaged using Nix without prebuilt platform-specific binary artifacts
Nix
4
star
7

nix-linux

Framework for configuring and building Linux and U-Boot using Nixpkgs
Nix
4
star
8

nix2go

Run Nix closures anywhere
Python
3
star
9

bus-data

Code for extracting data from AJAX calls for the [redacted] locked Google sheet.
Python
3
star
10

routor

Tor controller that allows paths to be chosen on a stream-by-stream basis
Python
3
star
11

holes

Homogeneous vectors with statically known size
Haskell
2
star
12

cloudpiercer

Cloudflare 503 challenge bypass
Nix
2
star
13

moodle-crawler

Archive parts of moodle.carleton.edu
Python
2
star
14

sympamatic

Sign up for all Carleton Sympa email lists
Python
2
star
15

24-bit

Word24 and Int24 types for Haskell.
Haskell
2
star
16

not-a-bot

Cloudflare 503 challenge bypass
Haskell
1
star
17

fznode

Interactive fuzzy file browser/chooser using fzf
Python
1
star
18

rc4

RC4 stream cipher in pure Haskell, using the strict state monad
Haskell
1
star
19

git-audio

Express yourself.
Python
1
star
20

devx-vim-talk

A presentation given at Carleton College with DevX about vi/Vim on 5/12/2015
TeX
1
star
21

secrets

Server for receiving secrets
Python
1
star
22

devx-haskell-talk

HTML
1
star
23

wikipath

Programs in various languages that play the Wikipedia game
Haskell
1
star
24

torplex

Python library for managing multiple concurrent Tor proxy servers
Python
1
star
25

xhb-keysyms

Keysym definitions for xhb scraped from x11proto
Haskell
1
star
26

aether

A slim mainline BitTorrent distributed hash table implementation
Haskell
1
star
27

botnet

Infrastructure for a JavaScript botnet
Nix
1
star
28

mserve

Serves music
Python
1
star
29

squarify

Simple web application that turns images into squares by padding them with black bars. Demonstrates one approach to describing a web application for NixOS.
Python
1
star
30

htorrent

A minimalistic, cross-platform BitTorrent client written in Haskell
Haskell
1
star
31

whonix-now

Whonix on KVM in Linux containers
Nix
1
star
32

firecracker-repro

Nix expressions for reproducing [Firecracker](https://github.com/firecracker-microvm/firecracker) issues
Nix
1
star
33

compiler-rt-boot

LLVM's build system effectively requires a full toolchain to build compiler-rt. This repository contains the generic builtins component of compiler-rt with a build system that does requires no target code.
C
1
star