tomhoule/purescript-waterslide-rs tomhoule/purescript-waterslide-rs

  • Stars
    star
    41
  • Rank 668,415 (Top 14 %)
  • Language
    Rust
  • License
    Apache License 2.0
  • Created over 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tomhoule/purescript-waterslide-rs
github

tomhoule

Reviews

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

Repository Details

Generate Purescript types from your Rust types. (unmaintained)

More Repositories

1

zig-diff

Text diffing in zig
Zig
13
star
2

gitmoji-selector

gitmoji selection with fzf+tmux
Rust
12
star
3

rust-nix-wasm32-unknown-unknown-example

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

tide-static-files

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

tide-cookie-session

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

theorem-proving-in-lean-exercises

Lean
5
star
7

graphql-introspection-protobuf

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

nannou-sketches

Just trying to make interesting things
Rust
4
star
9

coursera-scala-epfl

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

init.vim

My neovim config files
Vim Script
3
star
11

catslapp

Rust
3
star
12

graphql-client-talk

Rust
3
star
13

nix-config

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

spock-kant-lipsum

kantlipsum as a web app
Haskell
3
star
15

holidays-gem

Rust
2
star
16

homepage

HTML
2
star
17

prisma-migration-engine-api-reference

Just an experiment
Rust
2
star
18

tpil4

theorem proving in lean 4 exercises
Lean
1
star
19

try-parcel

Rust
1
star
20

fragments-cli

Rust
1
star
21

stop-politicizing-bot

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

awesome-lean4

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

crane-workspace-deps-repro

Nix
1
star
24

rocket-experiment

Rust
1
star
25

tomhoule.github.io

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

protoc-gen-gql

WIP
Rust
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