Beast code in Giters

Preston Tunnell Wilson's starred repositories

roc

A fast, friendly, functional language.

Language:RustUPL-1.0389700

gitoxide

An idiomatic, lean, fast & safe pure Rust implementation of Git

Language:RustApache-2.0847800

cargo

The Rust package manager

Language:RustApache-2.01231900

helix

A post-modern modal text editor.

Language:RustMPL-2.03168300

expecto

A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!

Language:F#Apache-2.066400

cargo-raze

Generate Bazel BUILD from Cargo dependencies!

Language:RustApache-2.047600

mold

Mold: A Modern Linker 🦠

Language:C++MIT1376700

crater

Run experiments across parts of the Rust ecosystem!

Language:Rust62600

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Language:Coq80700

rules_docker

Rules for building and handling Docker images with Bazel

Language:StarlarkApache-2.0107100

rules_rust

Rust rules for Bazel

Language:StarlarkApache-2.064400

tower-lsp

Language Server Protocol implementation written in Rust

Language:RustApache-2.095800

tilt

Define your dev environment as code. For microservice apps on Kubernetes.

Language:GoApache-2.0744800

cargo-chef

A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.

Language:RustApache-2.0163700

Kind1

A next-gen functional language

Language:RustMIT352900

advent-of-code

Work in progress solutions for Advent of Code

Language:RustMIT800

advent-of-code-2021

solutions for Advent of Code

Language:Rust300

rusty_v8

Rust bindings for the V8 JavaScript engine

Language:RustMIT308700

lila

♞ lichess.org: the forever free, adless and open source chess server ♞

Language:ScalaAGPL-3.01488300

go-sumtype

A simple utility for running exhaustiveness checks on Go "sum types."

Language:GoUnlicense41600

dango-tribute

:eyes:

Language:RustNOASSERTION2500

the-power-of-prolog

Introduction to modern Prolog

Language:HTML118700