• Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    Rust
  • License
    MIT License
  • Created over 5 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

Tiny language with green threads

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

persistent-ts

Persistent data structures for Typescript
TypeScript
9
star
15

nimotsu

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

kyokusen

Elliptic Curves for Cryptography
Go
9
star
17

viviani

Elixir
8
star
18

cauchy

A hardware accelerated complex function plotter
Rust
7
star
19

bittrickle

UDP bittorrent tracker
Rust
7
star
20

Rem-Boo

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

ginkou

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

nuntius

Having fun making an E2E messaging app
Go
6
star
23

serve-csv

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

raymarch

Rust
5
star
25

populate

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

hax

A bullet hell game in haskell
Haskell
4
star
27

arbor

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

nicer-mecab

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

polka

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

eddo

Playing around with Ed25519 signatures
Rust
4
star
31

Advent-2018

Haskell
4
star
32

ovis

Simple functional programming language
Rust
4
star
33

chika

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

iku

WIP programming language
Rust
3
star
35

typhoon

A decent bittorrent library and program
Rust
3
star
36

advent

Advent of code solutions
Haskell
3
star
37

ludus-emu

An NES emulator using the ludus crate
Rust
3
star
38

haisou-chan

A library for simulating network delays
Rust
3
star
39

modular-protocol-security-paper

TeX
3
star
40

peerbin

Peer based code sharing site
JavaScript
3
star
41

strix

Rust
2
star
42

alchaline

Elixir
2
star
43

delay-coin

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

Kirbot-1.5

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

dex

Pokedex viewing app
JavaScript
2
star
46

talks

TypeScript
2
star
47

sally

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

mpc-for-group-reconstruction-circuits

TeX
2
star
49

butterfly-test

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

big-boo

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

katex-playground

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

toy-stark

A toy implementation of the STARK protocol
Rust
2
star
53

wordle

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

mariner

An experiment in ZK circuit DSLs
Rust
2
star
55

omocha

A toy blockchain
Rust
2
star
56

solopong

A simple pong game
TypeScript
1
star
57

lambdabot

Elixir
1
star
58

chess

TypeScript
1
star
59

conway

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

alg-intro-exercises

C++
1
star
61

ripple

Decentralised IRC-like service
Go
1
star
62

huffman-rs

An implementation of Huffman coding
Rust
1
star
63

ludus-web

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

micro-ecs

A small ecs framework for TypeScript
TypeScript
1
star
65

CSES

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

musync

Configuration based music syncing
Go
1
star
67

srhub

Elixir
1
star
68

aldash

Elixir
1
star
69

on-security-against-time-traveling-adversaries

TeX
1
star
70

bridger

Elixir
1
star
71

kirbot

Elixir
1
star
72

hirch

Haskell
1
star
73

web-craft

WebGL voxel game
TypeScript
1
star
74

reg-viz

Visualizing Regular Expressions
Haskell
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