Pinned Repositories
_programming_wasm_with_rust
Notes and code snippets from _Programming WebAssembly with Rust_ by Kevin Hoffman
dhall-mermaid-js
Dhall types representing mermaid-js' diagram languages
dhall-session-types
ipld-schema
Generate and validate IPLD Schemas and the data they describe
syntastic
Generic abstract syntax representation
typestate-rs-examples
Illustrative examples using https://github.com/rustype/typestate-rs
mx00s's Repositories
mx00s/dhall-session-types
mx00s/syntastic
Generic abstract syntax representation
mx00s/dhall-mermaid-js
Dhall types representing mermaid-js' diagram languages
mx00s/ipld-schema
Generate and validate IPLD Schemas and the data they describe
mx00s/typestate-rs-examples
Illustrative examples using https://github.com/rustype/typestate-rs
mx00s/_programming_wasm_with_rust
Notes and code snippets from _Programming WebAssembly with Rust_ by Kevin Hoffman
mx00s/ant-stm-demo
Demo of Software Transactional Memory involving ants walking on a 2D grid
mx00s/arith_traits
Trait definitions for Rust types implementing checked_*, overflow_*, saturating_* and wrapping_* arithmetic operations
mx00s/arith_wrappers
Trait-based wrappers defining arithmetic overflow behavior on types in Rust
mx00s/dhall-binary
mx00s/dhall-gitlab-ci
A Dhall encoding of the GitLab CI configuration schema
mx00s/idris2-vim
Vim mode for Idris 2
mx00s/lightyear
Parser combinators for Idris
mx00s/message-from-space
mx00s/minidump-writer
Rust rewrite of breakpad's minidump_writer
mx00s/mx00s
mx00s/pardon
WIP: timeout and retry mechanisms for fallible and potentially high-latency operations
mx00s/peggy
WIP
mx00s/ranged
Experimental (machine-type-abstracting?) ranged types in Rust
mx00s/recursion-rs-sandbox
sandbox for experimenting with the `recursion` crate
mx00s/rust
Empowering everyone to build reliable and efficient software.
mx00s/talent-plan
open source training courses about distributed database and distributed systemes
mx00s/typestate-rs
Proc-macro typestate DSL for Rust