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