Skip to content
View roboguy13's full-sized avatar
19 followers · 68 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Organizations

@ku-fpg

Block or report roboguy13

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

  • agda-stuff Public

    Category theory, and other things, in Agda

    Agda Updated Jun 5, 2024

  • PikaC Public

    TeX Updated Apr 17, 2024

  • lambda-calculus Public

    Agda Updated Mar 29, 2024

  • locales Public

    Agda 1 Updated Mar 27, 2024

  • anf-example Public

    Haskell Updated Mar 26, 2024

  • synapse Public

    Tool for making and working with systems of inference rules

    Haskell Updated Dec 29, 2023

  • pldi-se Public

    Updated Dec 16, 2023

  • suslik Public

    Forked from TyGuS/suslik

    Synthesis of Heap-Manipulating Programs from Separation Logic

    Scala 2 Other Updated Dec 1, 2023

  • utlc-eval Public

    Web-based evaluator for the untyped lambda calculus extended with a print primitive. Also has a definitions panel

    JavaScript 1 Updated Nov 30, 2023

  • valigen Public

    Haskell Updated Nov 13, 2023

  • judge Public

    Haskell BSD 2-Clause "Simplified" License Updated Oct 31, 2023

  • stratify Public

    JavaScript Updated Oct 18, 2023

  • Pika-agda Public

    A formal model of the semantics of Pika and the semantics of synthetic separation logic

    Agda Updated Sep 26, 2023

  • categorical-semantics Public

    Categorical semantics in Agda

    Agda Updated Sep 26, 2023

  • fun-suslik Public

    Haskell 3 Updated May 11, 2023

  • egret Public

    Equational reasoning tool

    Haskell Updated Mar 20, 2023

  • agda Public

    Forked from agda/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell Other Updated Nov 23, 2022

  • minima Public

    Forked from jekyll/minima

    Minima is a one-size-fits-all Jekyll theme for writers.

    SCSS MIT License Updated Jul 7, 2022

  • class-invs Public

    Updated Mar 5, 2022

  • propagator-synth Public

    Haskell Updated Mar 4, 2022

  • wordle-solver Public

    Haskell Updated Jan 30, 2022

  • suslik-adt Public

    Haskell Updated Jan 21, 2022

  • rewrite-parser Public

    Haskell Updated Jan 18, 2022

  • module-transform Public

    Haskell 1 Updated Dec 18, 2021

  • SpectreGuard Public

    Forked from CSL-KU/SpectreGuard

    Data-centric defense mechanism against Spectre attacks. (DAC'19)

    C Updated Nov 21, 2021

  • eq-calc Public

    Haskell Updated Aug 30, 2021

  • architect Public

    Haskell Updated Aug 20, 2021

  • djinn Public

    Forked from augustss/djinn

    Generate Haskell code from a type

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jul 12, 2021

  • cocategory-logic Public

    Haskell 4 Updated Jul 10, 2021

  • patterns Public

    Haskell Updated May 15, 2021