• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 8 years ago
  • Updated over 8 years ago

Reviews

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

Repository Details

Command line tools for the Stockfighter Jailbreak game

More Repositories

1

pyramid-scheme

Pyramid is a language to create Ethereum smart contracts
Racket
250
star
2

nes-emulator

A NES emulator made to learn the Rust programming language
Rust
229
star
3

haskoin

Proof-of-concept Blockchain in Haskell
Haskell
90
star
4

pornview

Porn browser formally-verified in Coq
Coq
51
star
5

lambda-exchange

Data structures/API for a Bitcoin exchange
Haskell
20
star
6

leafy-mode

Emacs minor-mode built on top of org-mode for working with ChatGPT
Emacs Lisp
19
star
7

redshift-shellcode

Example of injecting x64 shellcode into Amazon Redshift
PLpgSQL
16
star
8

yxdb-utils

Utilities for parsing Alteryx Database format
Haskell
12
star
9

pond.js

Programs compete for CPU in the same memory space
JavaScript
7
star
10

js-jit

An x64 JIT compiler for a subset of Javascript
Haskell
5
star
11

goodsteins-theorem

A formal proof of Goodstein's theorem
Coq
4
star
12

ceagle

C compiler targeting Pyramid Scheme, which targets the Ethereum Virtual Machine
Racket
4
star
13

file-graph

graphviz example with Haskell
Haskell
3
star
14

underrail-unpacker

Does some minimal unpacking of Underrail files, specifically global.dat
C#
3
star
15

project-euler

A dump of my Project Euler solutions
Haskell
3
star
16

haskell-authorize-net

Haskell SDK for the Authorize.NET API
Haskell
2
star
17

delta-debugging-example

C++
2
star
18

monads

A list of things that monads are
JavaScript
2
star
19

ethereum

Typed Racket implementation of common Ethereum libraries
Racket
2
star
20

HaXml

Development copy of HaXml
Haskell
1
star
21

mandelbrot

Go
1
star
22

ExampleDB

Haskell
1
star
23

ChineseChess

C++
1
star
24

rockstar-problem

Perl
1
star
25

matroids

Coq
1
star