• Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created over 4 years ago
  • Updated over 4 years ago

Reviews

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

Repository Details

Visualizing Regular Expressions

More Repositories

1

alchemy

A discord library for Elixir
Elixir
157
star
2

haskell-in-haskell

Trying to write an understandable implementation of Haskell, in Haskell
Haskell
119
star
3

haze

A bittorrent client, for learning purposes
Haskell
106
star
4

saferith

Constant time big numbers for Go
Go
97
star
5

cait-sith

Threshold ECDSA via Triples
Rust
72
star
6

seed-split

Splitting seed phrases into shares
Rust
63
star
7

boo-hoo

An implementation of ZKBoo
Rust
33
star
8

yao-gc

A basic implementation of Yao's Garbled Circuits
Rust
30
star
9

ludus

A pluggable NES emulator
Rust
29
star
10

multiset-hash

A small crate for hashing multi sets
Rust
14
star
11

magikitten

Easy Fiat-Shamirization using Meow
Rust
13
star
12

meow

Rust
13
star
13

deevee

Designatived verifier Schnorr signatures
Rust
13
star
14

poline

Tiny language with green threads
Rust
10
star
15

persistent-ts

Persistent data structures for Typescript
TypeScript
9
star
16

nimotsu

Rolling some crypto for PGP-esque public key message sending
Rust
9
star
17

kyokusen

Elliptic Curves for Cryptography
Go
9
star
18

viviani

Elixir
8
star
19

cauchy

A hardware accelerated complex function plotter
Rust
7
star
20

bittrickle

UDP bittorrent tracker
Rust
7
star
21

Rem-Boo

Fast ZK proofs over boolean circuits with RAM
Rust
6
star
22

ginkou

Japanese sentence bank program. Add and find sentences for language learning.
Rust
6
star
23

nuntius

Having fun making an E2E messaging app
Go
6
star
24

serve-csv

Create a web API from static csv files
Go
5
star
25

raymarch

Rust
5
star
26

populate

Populate a music library based on a descriptive file
Haskell
5
star
27

hax

A bullet hell game in haskell
Haskell
4
star
28

arbor

A rusty replacement for the `tree` command
Rust
4
star
29

nicer-mecab

Japanese morphological analysis. Wrapper over mecab.
Rust
4
star
30

polka

A C compiler, using the most advanced version of Scala
Scala
4
star
31

eddo

Playing around with Ed25519 signatures
Rust
4
star
32

Advent-2018

Haskell
4
star
33

ovis

Simple functional programming language
Rust
4
star
34

chika

A low level procedural language, compiling to assembly
Rust
4
star
35

iku

WIP programming language
Rust
3
star
36

typhoon

A decent bittorrent library and program
Rust
3
star
37

advent

Advent of code solutions
Haskell
3
star
38

ludus-emu

An NES emulator using the ludus crate
Rust
3
star
39

haisou-chan

A library for simulating network delays
Rust
3
star
40

modular-protocol-security-paper

TeX
3
star
41

peerbin

Peer based code sharing site
JavaScript
3
star
42

strix

Rust
2
star
43

alchaline

Elixir
2
star
44

delay-coin

Playing around with a cryptocurrency based on verifiable delay functions.
Rust
2
star
45

Kirbot-1.5

A simple discord bot, written in python
Python
2
star
46

dex

Pokedex viewing app
JavaScript
2
star
47

talks

TypeScript
2
star
48

sally

Learning how to make a basic shell in C
C
2
star
49

mpc-for-group-reconstruction-circuits

TeX
2
star
50

butterfly-test

Testing an algorithm for creating routing networks from permutations
Jupyter Notebook
2
star
51

big-boo

Experimenting with fast symmetric ZK proofs of knowledge
Rust
2
star
52

katex-playground

Play around with katex in your browser!
TypeScript
2
star
53

toy-stark

A toy implementation of the STARK protocol
Rust
2
star
54

wordle

Playing around with the infamous word game hit of 2022
Rust
2
star
55

mariner

An experiment in ZK circuit DSLs
Rust
2
star
56

omocha

A toy blockchain
Rust
2
star
57

solopong

A simple pong game
TypeScript
1
star
58

lambdabot

Elixir
1
star
59

chess

TypeScript
1
star
60

conway

Playing around with Conway's game of life
Haskell
1
star
61

alg-intro-exercises

C++
1
star
62

ripple

Decentralised IRC-like service
Go
1
star
63

huffman-rs

An implementation of Huffman coding
Rust
1
star
64

ludus-web

Seeing if I can get my NES emulator to work through WASM
HTML
1
star
65

micro-ecs

A small ecs framework for TypeScript
TypeScript
1
star
66

CSES

Solutions to https://cses.fi/problemset/
C++
1
star
67

musync

Configuration based music syncing
Go
1
star
68

srhub

Elixir
1
star
69

aldash

Elixir
1
star
70

on-security-against-time-traveling-adversaries

TeX
1
star
71

bridger

Elixir
1
star
72

kirbot

Elixir
1
star
73

hirch

Haskell
1
star
74

web-craft

WebGL voxel game
TypeScript
1
star
75

disco-old

Haskell
1
star
76

advent-2022

Rust
1
star
77

scroll

Little dungeon crawler
TypeScript
1
star
78

parcel-ts-react-demo

An example of using Typescript & React with Parcel
TypeScript
1
star
79

wahlbergdown

Silly language for the https://github.com/langjam/jam0001
Rust
1
star
80

cici

A self-hosting C compiler
C
1
star
81

ck-dodo

Double odd curve(s)
Rust
1
star