Darin Morrison's repositories

binaryen

Compiler infrastructure and toolchain library for WebAssembly

License:Apache-2.0Stargazers:0Issues:0Issues:0

wasm-interface-types

Raw Rust toolchain support for Wasm Interface Types

License:Apache-2.0Stargazers:0Issues:0Issues:0

macOS-wine-bridge

Enable games running under Wine on macOS to use Discord Rich Presence

Stargazers:0Issues:0Issues:0

language-server-protocol

Defines a common protocol for language servers.

License:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

wasm-pack

📦✨ your favorite rust -> wasm workflow tool!

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

Pinch

A simple borrow-checked language built using LLVM's MLIR

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

spec

WebAssembly specification, reference interpreter, and test suite.

License:NOASSERTIONStargazers:0Issues:0Issues:0

wasmparser

A simple event-driven library for parsing WebAssembly binary files

License:Apache-2.0Stargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

cargo-wasi

A lightweight Cargo subcommand to build Rust code for the `wasm32-wasi` target

License:Apache-2.0Stargazers:0Issues:0Issues:0

tfjs

A WebGL accelerated JavaScript library for training and deploying ML models.

License:Apache-2.0Stargazers:0Issues:0Issues:0

rust-signals

Zero-cost functional reactive Signals for Rust

License:MITStargazers:0Issues:0Issues:0

agda-nr-cats

A definition of (n,r)-categories in Agda (for n, r ∈ ℕ ∪ {∞})

Language:AgdaStargazers:0Issues:0Issues:0

agda-wander-magmas

A familial coinductive-recursive encoding of Penon-style ∞-magmas

Language:AgdaStargazers:0Issues:0Issues:0

vscode-input-assist

Tree-based input assistance for unicode and more in Visual Studio Code

Language:TypeScriptLicense:Apache-2.0Stargazers:1Issues:0Issues:0

pretty.rs

Wadler-style pretty-printing combinators in Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

wasmtime-demos

Demos for Wasmtime usage and WASI content

License:Apache-2.0Stargazers:0Issues:0Issues:0

nom-async

Async adapters for nom streaming parsers

Language:RustLicense:NOASSERTIONStargazers:3Issues:0Issues:0

cool-tt

An experimental type checker for a dependent type theory.

License:MITStargazers:2Issues:0Issues:0

nom-async-stream-example

An example async token Stream via nom streaming parsers

Language:RustStargazers:0Issues:0Issues:0

wasm-feature-detect

A small library to detect which features of WebAssembly are supported.

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

async-std

Async version of the Rust standard library

License:Apache-2.0Stargazers:0Issues:0Issues:0

vscode-reasonml

OCaml & Reason support for Visual Studio Code

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

PSC2019

Slides for Prague Stringology Conference

Stargazers:0Issues:0Issues:0

VCVars

Add, Push, or Pop Visual C++ environment variables to your system PATH

License:MITStargazers:0Issues:0Issues:0