• Stars
    star
    1
  • Language
    Rust
  • Created over 6 years ago
  • Updated almost 2 years ago

Reviews

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

Repository Details

WIP

More Repositories

1

purescript-waterslide-rs

Generate Purescript types from your Rust types. (unmaintained)
Rust
41
star
2

zig-diff

Text diffing in zig
Zig
13
star
3

gitmoji-selector

gitmoji selection with fzf+tmux
Rust
12
star
4

rust-nix-wasm32-unknown-unknown-example

An example project building a Rust crate targetting wasm32-unknown-unknown with Nix
Nix
11
star
5

tide-static-files

A static files server helper for the tide web framework (not production ready)
Rust
10
star
6

tide-cookie-session

Experimental cookie session middleware and extractor for the tide web framework.
Rust
6
star
7

theorem-proving-in-lean-exercises

Lean
5
star
8

graphql-introspection-protobuf

Protocol Buffer v3 definitions for GraphQL schema introspection.
4
star
9

nannou-sketches

Just trying to make interesting things
Rust
4
star
10

coursera-scala-epfl

My solutions to the exercizes and assignments for the Coursera Scala courses
Scala
4
star
11

init.vim

My neovim config files
Vim Script
3
star
12

catslapp

Rust
3
star
13

graphql-client-talk

Rust
3
star
14

nix-config

It's what it says on the tin.
Nix
3
star
15

spock-kant-lipsum

kantlipsum as a web app
Haskell
3
star
16

holidays-gem

Rust
2
star
17

homepage

HTML
2
star
18

prisma-migration-engine-api-reference

Just an experiment
Rust
2
star
19

tpil4

theorem proving in lean 4 exercises
Lean
1
star
20

try-parcel

Rust
1
star
21

fragments-cli

Rust
1
star
22

stop-politicizing-bot

a small twitter bot (node + rust with wasm)
JavaScript
1
star
23

awesome-lean4

Curated list of awesome Lean 4 projects from the community.
1
star
24

crane-workspace-deps-repro

Nix
1
star
25

rocket-experiment

Rust
1
star
26

tomhoule.github.io

look at tomhoule/homepage for the source
HTML
1
star
27

postgraphql-experiment

Rust
1
star
28

wgpu-minimal-video-rendering-example

A tiny example project demonstrating how to render directly to a video file with wgpu
Rust
1
star
29

purescript-experiment-pux

PureScript
1
star
30

gql-something-different-prototype

Rust
1
star