• Stars
    star
    1
  • Language Standard ML
  • License
    GNU General Publi...
  • Created almost 13 years ago
  • Updated over 12 years ago

Reviews

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

Repository Details

game for ludum dare 22

More Repositories

1

seer

symbolic execution engine for Rust
Rust
335
star
2

gj

event loop and promises in Rust
Rust
108
star
3

fuzz-rustc

setup for fuzzing the Rust compiler
Rust
55
star
4

lean4-maze

maze game encoded in Lean 4 syntax
Lean
35
star
5

animate-lean-proofs

tool for turning Lean proofs into Blender animations
Lean
33
star
6

acronymy

user-editable, acronym-only dictionary
Rust
22
star
7

compfiles

Catalog Of Math Problems Formalized In Lean
Lean
22
star
8

acronymy-assistant

interactive backronym composition tool
AGS Script
22
star
9

sandstorm-rawapi-example-rust

Example Sandstorm app using only the raw Cap'n Proto API, written in Rust.
Rust
22
star
10

gitlab-sandstorm

GitLab as a Sandstorm app
Cap'n Proto
21
star
11

gjio

asynchronous I/O in Rust
Rust
14
star
12

wordpress-sandstorm

wordpress as a sandstorm app
PHP
13
star
13

duoludo

a game whose purpose is games
JavaScript
11
star
14

capnp-zmq-rust

Rust library for using ZeroMQ with Cap'n Proto serialization
Rust
11
star
15

sandstorm-rust

Sandstorm Cap'n Proto interfaces, packaged for Rust
Cap'n Proto
10
star
16

acronymy-workers

user-editable, acronym-only dictionary
JavaScript
9
star
17

math-puzzles-in-lean

math puzzles from various sources, formalized in Lean
Lean
9
star
18

zillions

toy chat server spec and example implementations
Rust
8
star
19

gitweb-sandstorm

git repo as Sandstorm app
Ruby
6
star
20

nicer-trees

JavaScript
5
star
21

Chess.lean

Chess in Lean 4
Lean
3
star
22

fuzz-capnproto

C++
2
star
23

capnp-gj

Rust
2
star
24

config

configuration files
1
star
25

lepidopter

game for ludum dare 24
JavaScript
1
star
26

asciiworld

game for ludum dare 23
JavaScript
1
star
27

lobsters-sandstorm

Sandstorm port of lobste.rs
Cap'n Proto
1
star