Skip to content
View plt-amy's full-sized avatar
🧊
Cubical thinker
🧊
Cubical thinker
476 followers · 49 following

Sponsors

@googleson78
@Gabriella439
@phantamanta44

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Pro

Organizations

@agda @tmpim @amuletml @the1lab

Block or report plt-amy

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

  • plt-amy Public

    👋

    2 Updated Aug 3, 2024

  • agda Public

    Forked from agda/agda

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

    Haskell 1 Other Updated May 27, 2024

  • Vim Public

    Forked from VSCodeVim/Vim

    ⭐ Vim for Visual Studio Code

    TypeScript MIT License Updated Feb 18, 2023

  • math Public

    Forked from jonsterling/math

    A mini-book on category theory. Superseded by https://github.com/jonsterling/forest

    TeX 1 Updated Jan 23, 2023

  • agda-unimath Public

    Forked from UniMath/agda-unimath

    Univalent mathematics in Agda

    Makefile MIT License Updated Jul 15, 2022

  • agdapad Public

    Forked from iblech/agdapad

    Agda as a collaborative multiplayer game

    JavaScript Updated Jun 28, 2022

  • agda-mode-vscode Public

    Forked from banacorn/agda-mode-vscode

    agda-mode on VS Code

    ReScript MIT License Updated Jun 15, 2022

  • d3-force Public

    Forked from d3/d3-force

    Force-directed graph layout using velocity Verlet integration.

    JavaScript ISC License Updated Oct 13, 2021

  • pandoc-slim Public

    Forked from jgm/pandoc

    Universal markup converter

    Haskell Other Updated Sep 20, 2020

  • kde-gtk-config Public

    Forked from KDE/kde-gtk-config

    Syncs KDE settings to GTK applications

    C++ GNU General Public License v2.0 Updated Jul 31, 2020

  • CC-Tweaked Public

    Forked from cc-tweaked/CC-Tweaked

    Just another ComputerCraft fork

    Java Other Updated Jul 31, 2020

  • ruby Public

    Forked from ruby/ruby

    The Ruby Programming Language [mirror]

    Ruby Other Updated Jul 25, 2020

  • source Public

    Forked from TutsWiki/source

    A wiki of tutorials

    CSS MIT License Updated Jul 22, 2020

  • Cobalt Public

    Forked from cc-tweaked/Cobalt

    A re-entrant fork of LuaJ

    Java Other Updated Feb 5, 2020

  • x86-64 Public

    Forked from tittoassini/x86-64

    Runtime code generation for x86 64 bit machine code

    Haskell Other Updated Dec 5, 2019

  • cryptonite Public

    Forked from haskell-crypto/cryptonite

    lowlevel set of cryptographic primitives for haskell

    Haskell Other Updated Nov 11, 2019

  • xplugd Public

    Forked from troglobit/xplugd

    Monitor, keyboard, and mouse plug/unplug helper for X

    C MIT License Updated Apr 17, 2019

  • mld Public

    An experiment in compositional typings

    Haskell 10 BSD 3-Clause "New" or "Revised" License Updated Apr 7, 2019

  • dep Public

    A very small implementation of the Calculus of Constructions for experimentation purposes

    type-theory
    Haskell 13 BSD 3-Clause "New" or "Revised" License Updated Jun 17, 2018

  • winghc Public

    Forked from koalaman/winghc

    Docker image for building Haskell for Windows targets on Linux hosts

    Shell Updated Jun 25, 2017