• Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language Cap'n Proto
  • Created almost 10 years ago
  • Updated over 7 years ago

Reviews

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

Repository Details

GitLab as a Sandstorm app

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

gjio

asynchronous I/O in Rust
Rust
14
star
11

wordpress-sandstorm

wordpress as a sandstorm app
PHP
13
star
12

duoludo

a game whose purpose is games
JavaScript
11
star
13

capnp-zmq-rust

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

sandstorm-rust

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

acronymy-workers

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

math-puzzles-in-lean

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

zillions

toy chat server spec and example implementations
Rust
8
star
18

gitweb-sandstorm

git repo as Sandstorm app
Ruby
6
star
19

nicer-trees

JavaScript
5
star
20

Chess.lean

Chess in Lean 4
Lean
3
star
21

fuzz-capnproto

C++
2
star
22

capnp-gj

Rust
2
star
23

config

configuration files
1
star
24

lepidopter

game for ludum dare 24
JavaScript
1
star
25

asciiworld

game for ludum dare 23
JavaScript
1
star
26

aione

game for ludum dare 22
Standard ML
1
star
27

lobsters-sandstorm

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