Skip to content
View gabemeikle's full-sized avatar
10 followers · 22 following
Block or Report

Block or report gabemeikle

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
gabemeikle/README.md

Gabe Meikle

Co-Founder & CEO at unknot.

Popular repositories Loading

  1. coq-of-rust coq-of-rust Public

    Forked from formal-land/coq-of-rust

    Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification

    Coq 1

  2. jonesforth jonesforth Public

    Forked from nornagon/jonesforth

    Mirror of JONESFORTH

    Assembly

  3. joy1 joy1 Public

    Forked from Wodan58/joy1

    Manfred von Thun's Programming Language Joy

    C

  4. interim interim Public

    Forked from mntmn/interim

    The Interim Operating System

    C

  5. black black Public

    Forked from namin/black

    Kenichi Asai's reflective programming language Black

    Scheme

  6. forthlisp forthlisp Public

    Forked from schani/forthlisp

    A Small Lisp in Forth

    Forth