Giters
Sage Mitchell (mx00s)

mx00s

Geek Repo

24

followers

105

following

341

stars

Company:Microsoft Research

Github PK Tool:Github PK Tool

Sage Mitchell's starred repositories

creusot

Creusot helps you prove your code is correct in an automated fashion.

Language:RustLicense:LGPL-2.1Stargazers:1055Issues:0Issues:0

Bend

A massively parallel, high-level programming language

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

mdbook-utils

Tools to manage links, reference definitions, and code examples in Markdown files, especially `mdbook` source directories.

Language:RustLicense:NOASSERTIONStargazers:2Issues:0Issues:0

rust_howto

John's Rust How-To Book

Language:MarkdownStargazers:4Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:94171Issues:0Issues:0

yazi

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Language:RustLicense:MITStargazers:9600Issues:0Issues:0

rustc-demangle

Rust symbol demangling

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

pi-forall

A demo implementation of a simple dependently-typed language

Language:HaskellLicense:BSD-3-ClauseStargazers:545Issues:0Issues:0

multihash

Self describing hashes - for future proofing

Language:ShellLicense:MITStargazers:876Issues:0Issues:0

enum-iterator

Tools to iterate over all values of a type

Language:RustLicense:0BSDStargazers:97Issues:0Issues:0

maelstrom

Maelstrom is a fast Rust test runner that runs every test in its own container. Tests are either run locally or distributed to a clustered job runner.

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

crane

A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

Language:NixLicense:MITStargazers:787Issues:0Issues:0

samply

Command-line sampling profiler for macOS and Linux

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

nixos-in-production

Source files for the book "NixOS in Production"

Language:HCLLicense:NOASSERTIONStargazers:444Issues:0Issues:0

nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

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

rust-magic-patterns

Magical Rust patterns laid out and simplified

Language:RustStargazers:1053Issues:0Issues:0

serde-save

the most complete serialization tree for serde

Language:RustStargazers:15Issues:0Issues:0

bite

Disassembler focused on comprehensive rust support.

Language:RustLicense:MITStargazers:766Issues:0Issues:0

sops

Simple and flexible tool for managing secrets

Language:GoLicense:MPL-2.0Stargazers:15421Issues:0Issues:0

wasmtime

A fast and secure runtime for WebAssembly

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

cranelift-jit-demo

JIT compiler and runtime for a toy language, using Cranelift

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

cachix

Command line client for Nix binary cache hosting:

Language:HaskellStargazers:783Issues:0Issues:0

contranomy

Language:HaskellLicense:BSD-2-ClauseStargazers:24Issues:0Issues:0

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

Stargazers:272507Issues:0Issues:0

zk

Zettelkasten on the command-line 📚 🔍

Language:RubyStargazers:557Issues:0Issues:0

zk-spaced

Spaced repetition for zk

Language:RustLicense:MITStargazers:23Issues:0Issues:0

zk

A plain text note-taking assistant

Language:GoLicense:GPL-3.0Stargazers:1499Issues:0Issues:0

haskell-template

Haskell project template using Nix + Flakes + VSCode (HLS)

Language:NixLicense:MITStargazers:215Issues:0Issues:0

emanote

Emanate a structured view of your plain-text notes

Language:HaskellLicense:NOASSERTIONStargazers:757Issues:0Issues:0

makepad

Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl

Language:WebAssemblyLicense:MITStargazers:4858Issues:0Issues:0