Skip to content
View jashug's full-sized avatar
27 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report jashug

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

  • editorconfig-vscode Public

    Forked from editorconfig/editorconfig-vscode

    EditorConfig extension for Visual Studio Code

    TypeScript MIT License Updated Feb 22, 2024

  • rfcs Public

    Forked from rust-lang/rfcs

    RFCs for changes to Rust

    Shell Apache License 2.0 Updated Nov 12, 2022

  • OSoap Public

    JavaScript Updated Nov 11, 2022

  • osoap-libc Public

    C Other Updated Nov 8, 2022

  • SDL Public

    Forked from libsdl-org/SDL

    Simple Directmedia Layer

    C zlib License Updated Oct 29, 2022

  • rust-link-deps Public

    A helper crate for rust link-time dependencies managed by the top-most crate.

    Rust Updated Oct 26, 2022

  • binaryen Public

    Forked from WebAssembly/binaryen

    Optimizer and compiler/toolchain library for WebAssembly

    WebAssembly Apache License 2.0 Updated Oct 18, 2022

  • coq Public

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml GNU Lesser General Public License v2.1 Updated Jul 9, 2021

  • jashug.github.io Public

    Personal Website

    HTML Updated May 6, 2021

  • DefUIP-II Public

    Definitional UIP Makes Constructing Inductive-Inductive Types Straightforward

    Coq Updated Mar 9, 2021

  • WhyNotW Public

    Repository holding code and latex sources for paper "Why Not W?"

    TeX 11 Updated Feb 9, 2021

  • coq-elpi Public

    Forked from LPCIC/coq-elpi

    Coq plugin embedding elpi

    OCaml GNU Lesser General Public License v2.1 Updated Nov 26, 2020

  • odd-order Public

    Forked from math-comp/odd-order

    The formal proof of the Odd Order Theorem

    Coq Updated Aug 20, 2020

  • math-comp Public

    Forked from math-comp/math-comp

    Mathematical Components

    Coq Updated Aug 20, 2020

  • color Public

    Forked from fblanqui/color

    Coq library on rewriting theory and termination

    Coq Other Updated Jul 30, 2020

  • biasedrandomwalk Public

    A problem about a biased random walk

    Python Updated Aug 25, 2019

  • SetIIInit Public

    Set level inductive-inductive initiality

    Coq 1 Updated Aug 7, 2019

  • gen-cart Public

    Forked from mortberg/gen-cart

    A Unifying Cartesian Cubical Set Model

    Agda Updated Jul 30, 2019

  • coq-ext-lib Public

    Forked from coq-community/coq-ext-lib

    A library of Coq definitions, theorems, and tactics.

    Coq Other Updated Jun 24, 2019

  • HoTT Public

    Forked from HoTT/Coq-HoTT

    Homotopy type theory

    Coq Other Updated Jun 18, 2019

  • ConstructingII Public

    Constructing Inductive-Inductive types in Cubical Type Theory

    TeX 7 Updated May 27, 2019

  • VST Public

    Forked from PrincetonUniversity/VST

    Verified Software Toolchain

    Coq Other Updated May 2, 2019

  • FormalizedCompilerAlgorithms Public

    Formalization in Coq of algorithms used in compilers for the Compiler.org project

    Coq 15 MIT License Updated Dec 22, 2018

  • ocaml-re-nfa Public

    Forked from yallop/ocaml-re-nfa

    OCaml code to construct an NFA from a regular expression

    OCaml MIT License Updated Dec 10, 2018

  • fiat-crypto Public

    Forked from mit-plv/fiat-crypto

    Cryptographic Primitive Code Generation by Fiat

    Coq MIT License Updated Oct 30, 2018

  • QuickChick Public

    Forked from QuickChick/QuickChick

    Randomized Property-Based Testing Plugin for Coq

    Coq Other Updated Oct 27, 2018

  • corn Public

    Forked from coq-community/corn

    Coq Repository at Nijmegen

    Coq GNU General Public License v2.0 Updated Oct 26, 2018

  • MiscTypeTheory Public

    Miscellaneous musings on type theory and proof assistants

    Coq The Unlicense Updated Oct 10, 2018

  • Coq-Equations Public

    Forked from mattam82/Coq-Equations

    A plugin for Coq to add dependent pattern-matching.

    OCaml GNU Lesser General Public License v2.1 Updated Jun 29, 2018

  • fiat Public

    Forked from mit-plv/fiat

    Mostly Automated Synthesis of Correct-by-Construction Programs

    Coq Other Updated Jun 23, 2018