• Stars
    star
    1
  • Language
  • License
    Other
  • Created over 12 years ago
  • Updated about 12 years ago

Reviews

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

Repository Details

Slides for my monthly AHA talks

More Repositories

1

minibsdiff

A miniature, portable version of bsdiff.
C
123
star
2

heroku-ping

A utility to ping heroku web applications and keep them alive.
Ruby
82
star
3

eris

Serve your /nix/store directory over the internet ✨
Perl
82
star
4

enable_arm_pmu

Enable user-mode access to ARMv7/Linux performance counters
C
76
star
5

buck2-nix

Do not taunt happy fun ball
Starlark
59
star
6

clash-playground

A Clash playground/starter kit, using Nix
Haskell
33
star
7

nixos-zerotier-dns

My ZeroTier DNS modules
Nix
29
star
8

strict-ghc-plugin

A plugin for GHC to turn Haskell into a strict language
Haskell
27
star
9

salt

Fast cryptographic networking for Haskell
Assembly
24
star
10

rv32-sail

32-bit RISC-V Emulator
C
23
star
11

dynasm-example

example of the DynASM library
C
22
star
12

asc

Austin's supercompiler work
Haskell
21
star
13

hs-ed25519

Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.
C
21
star
14

libfault

Simple C library for basic crash reporting functionality, based on Phusion Passenger.
C
21
star
15

hs-nacl

Modern Haskell Cryptography
C
18
star
16

cryptol-mode

A Cryptol major mode for Emacs.
Emacs Lisp
16
star
17

yosys-bluespec

Yosys plugin for synthesis of Bluespec code
C++
14
star
18

claap

"An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
Haskell
13
star
19

nacl-jit

Example of using JIT'd code inside Native Client
C
8
star
20

hs-asai

Delimited, answer-type-polymorphic continuations for Haskell.
Haskell
7
star
21

coq-skeleton

A simple skeleton for Coq projects
Coq
7
star
22

sqlite4_lsm_lz4

SQLite4 Log-structured merge-tree (LSM) compression demo.
C
7
star
23

cse-ghc-plugin

common subexpression elimination plugin for GHC
Haskell
6
star
24

hs-cityhash

Haskell binding to google cityhash
C++
6
star
25

hs-noise

Usable security for the internet, Deux (in Haskell)
Haskell
5
star
26

bootstrap.nix

code to bootstrap my nix projects
Nix
5
star
27

bucktools

Tools for the Buck2 build system
Starlark
5
star
28

dev-randomdotorg

Linux kernel driver interface to random.org, providing an atmosphere-powered random block device
C
5
star
29

haskell-donate

πŸ‘ give πŸ‘ us πŸ‘ money
Haskell
4
star
30

narinfo-tools

Simple collection of narinfo tools
Rust
4
star
31

shake-extras

Extras for the Shake build system
Haskell
4
star
32

foundationdb-k8s

Experiments with FoundationDB Simulation on Kubernetes
Shell
4
star
33

clash-docs

(EXPERIMENTAL) Sphinx documentation for Clash
Python
4
star
34

heroku-stripe-donate

Simple Ruby server for Stripe Donations, designed for Heroku.
Ruby
4
star
35

libphutil-yubikey

Yubikey OTP authentication for Phabricator
PHP
4
star
36

homebrew-personal

Personal homebrew tap
Ruby
3
star
37

embedding-server

Stateless HTTP service for computing sentence embeddings
Python
3
star
38

regalloc-bkp

Attempt at a modular register allocator interface
Haskell
3
star
39

bcachefs-tools

http://bcachefs.org
C
3
star
40

bf-pypy

A brainfuck JIT using RPython
Python
2
star
41

pcap-conduit

Conduit <-> libpcap interface
Haskell
2
star
42

hs-curve25519

Minimal curve25519 Haskell package.
C
2
star
43

hs-poly1305

Minimal poly1305 Haskell package.
Haskell
2
star
44

hs-vix

Haskell bindings to VMware's VIX API.
Haskell
2
star
45

dockerfiles

My personal collection of Dockerfiles
Shell
2
star
46

nix-makeself

Create binary packages from Nix closures
Perl
1
star
47

hs-hmac-sha512256

Minimal HMAC-SHA-512-56 Haskell package.
C
1
star
48

ghc-prim-compat

Compatibility shim for GHC primops
Haskell
1
star
49

bors-tests

Nix
1
star
50

tree-sitter-openddl

a tree-sitter grammar, for OpenDDL v2.0
JavaScript
1
star
51

hs-microtimer

A tiny Haskell library for benchmarking IO actions.
Haskell
1
star
52

fdblog2clickhouse

Ingest FoundationDB Logs into ClickHouse
Python
1
star
53

nix-mirror-old

Mirroring system for upstream nixos.org binary caches
JavaScript
1
star
54

network-data-conduit

A conduit for parsing data into TCP/IP/UDP headers and frames
Haskell
1
star
55

hs-siphash2448

Minimal siphash24-MAC/siphash28-MAC Haskell package.
Haskell
1
star