8000 euisuny (euisuny) / Repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View euisuny's full-sized avatar
87 followers · 14 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@plclub @vellvm @cs4110 @cornellacsu @cucapra @upenn-cis198 @inria-cambium

Block or report euisuny

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

  • euisuny.github.io Public

    personal website

    TeX Updated Dec 17, 2024

  • flambda-backend Public

    Forked from ocaml-flambda/flambda-backend

    The Flambda backend project for OCaml

    OCaml Updated Sep 6, 2024

  • velliris Public

    Coq 1 Other Updated Jul 5, 2024

  • iris_cola Public

    Short proof that bi logic used in Iris forms a complete lattice in two ways

    Coq Updated Oct 17, 2023

  • merge-macros Public

    Haskell Other Updated Sep 13, 2023

  • nbe Public

    OCaml Updated May 31, 2023

  • ocaml Public

    Forked from ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    OCaml Other Updated May 26, 2023

  • icfp22-layered-monadic-interpreters Public

    artifact for ICFP'22 paper "Formal Reasoning About Layered Monadic Interpreters"

    Coq 6 2 Updated Jun 29, 2022

  • metalib Public

    Forked from plclub/metalib

    The Penn Locally Nameless Metatheory Library

    Coq Other Updated Mar 9, 2022

  • best-of-popl Public

    Best of POPL (BOP) Reading Group Memoirs

    67 Updated Jan 27, 2022

  • chan-iris Public

    iris chan

    Coq Updated Aug 17, 2021

  • HoTT Public

    Forked from HoTT/Coq-HoTT

    Homotopy type theory

    Coq Other Updated May 24, 2021

  • logrel-iris Public

    Coq 1 Updated May 6, 2021

  • 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 Nov 22, 2020

  • llvm-pass-skeleton Public

    Forked from sampsyo/llvm-pass-skeleton

    example LLVM pass

    CMake MIT License Updated Aug 22, 2020

  • acm-paper-template Public

    Skeleton template for ACM papers (with additional flair for Coq-related content)

    TeX Updated Aug 18, 2020

  • dprop Public

    Forked from dunnl/dprop

    A deep embedding of propositional logic in Coq

    Coq Updated Jul 14, 2020

  • mini-pi Public

    OCaml 1 Updated Jun 14, 2020

  • plclub-web-1 Public

    Forked from plclub/plclub-web

    A Hakyll [plclub] website (https://www.cis.upenn.edu/~plclub/)

    HTML Updated May 29, 2020

  • hs-to-coq Public

    Forked from antalsz/hs-to-coq

    Convert Haskell source code to Coq source code

    Coq MIT License Updated Apr 13, 2020

  • dotfiles Public

    lots of dots and files

    Vim Script Updated Sep 1, 2019

  • Glowstone Public

    Forked from GlowstoneMC/Glowstone

    A fast, customizable and compatible open source Minecraft server.

    Java Other Updated Mar 28, 2017

  • mafia-of-ocaml Public

    Forked from tyleri/mafia-of-ocaml
    OCaml Updated Dec 22, 2016
0