t
thoughtpolice
i live 400 miles underground
119 repositories
440 followers
Austin, TX
Repositories
Select a repository to view its commits, contributors, and more.public
asc
Austin's supercompiler work
Haskell
21
0
0
Updated 4 years ago
public
hs-ed25519
Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.
C
21
19
3
Updated 10 months ago
public
hs-nacl
Modern Haskell Cryptography
C
18
2
9
Updated 2 years ago
public
cryptol-mode
A Cryptol major mode for Emacs.
Emacs Lisp
16
6
12
Updated 6 months ago
public
yosys-bluespec
Yosys plugin for synthesis of Bluespec code
C++
14
0
0
Updated 8 months ago
public
claap
"An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
Haskell
13
0
0
Updated 5 years ago
public
nacl-jit
Example of using JIT'd code inside Native Client
C
8
0
0
Updated 2 years ago
public
sqlite4_lsm_lz4
SQLite4 Log-structured merge-tree (LSM) compression demo.
C
7
3
0
Updated 2 years ago
public
coq-skeleton
A simple skeleton for Coq projects
Coq
7
1
0
Updated 4 years ago
public
hs-asai
Delimited, answer-type-polymorphic continuations for Haskell.
Haskell
7
0
0
Updated 5 years ago
public
cse-ghc-plugin
common subexpression elimination plugin for GHC
Haskell
6
1
0
Updated 2 years ago
public
hs-cityhash
Haskell binding to google cityhash
C++
6
1
4
Updated 5 years ago