MichaelBurge/project-euler MichaelBurge/project-euler

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • Created about 11 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MichaelBurge/project-euler
github

MichaelBurge

Reviews

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

Repository Details

A dump of my Project Euler solutions

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

stockfighter-jailbreak

Command line tools for the Stockfighter Jailbreak game
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