• Stars
    star
    22
  • Rank 1,048,934 (Top 21 %)
  • Language
    Rust
  • License
    Other
  • Created almost 9 years ago
  • Updated about 1 year ago

Reviews

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

Repository Details

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

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

gitlab-sandstorm

GitLab as a Sandstorm app
Cap'n Proto
21
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