Will Crichton (willcrichton)

willcrichton

Geek Repo

Company:Brown University

Home Page:www.willcrichton.net

Twitter:@tonofcrates

Github PK Tool:Github PK Tool


Organizations
scanner-research

Will Crichton's repositories

flowistry

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Language:RustLicense:MITStargazers:1849Issues:15Issues:72

indexical

Human-friendly indexed collections

Language:RustLicense:Apache-2.0Stargazers:50Issues:2Issues:1

corrset-benchmark

A repository to test different performance optimizations in a sparse matrix computation.

Language:Jupyter NotebookStargazers:42Issues:4Issues:1

model-js-workspace

My personal standard for how to set up a Javascript workspace

Language:TypeScriptStargazers:14Issues:2Issues:0

cargo-single-pyo3

Generate a Python module from a single Rust file.

Language:RustLicense:MITStargazers:8Issues:3Issues:0
Language:RustStargazers:7Issues:4Issues:0

r-autota

A tool to make R error messages easier to understand

Language:HTMLLicense:NOASSERTIONStargazers:6Issues:2Issues:18
Language:Jupyter NotebookStargazers:3Issues:2Issues:0
Language:JavaScriptStargazers:3Issues:2Issues:0
Language:HTMLStargazers:3Issues:3Issues:0

glen

Three.js extension for creating games in the browser.

Language:JavaScriptStargazers:2Issues:0Issues:0
Language:LeanStargazers:2Issues:0Issues:0
Language:RustLicense:MITStargazers:1Issues:1Issues:0

ansi-to-tui

Convert ansi colored text to tui::text::Text

Language:RustLicense:MITStargazers:0Issues:1Issues:0
Language:RustLicense:MITStargazers:0Issues:1Issues:0

bitvec

A crate for managing memory bit by bit

Language:RustLicense:MITStargazers:0Issues:1Issues:0
License:MITStargazers:0Issues:3Issues:0

dioxus

Fullstack GUI library for desktop, web, mobile, and more.

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

learn-wgpu

Guide for using gfx-rs's wgpu library.

Language:RustLicense:MITStargazers:0Issues:1Issues:0

miette

Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

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

miri

An interpreter for Rust's mid-level intermediate representation

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

paralegal

Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can signup for our official release at the link below

License:MITStargazers:0Issues:0Issues:0

quizicist

AI-powered quiz generator

Language:Jupyter NotebookStargazers:0Issues:1Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0

theorem_proving_in_lean4

Theorem Proving in Lean 4, with quizzes!

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