plt-amy

Homotopy type theorist ✨

Brazil

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell2.5k 64 5.5k345
amulet
An ML-like functional programming language
Language:Haskell326 17 11015
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell1 1 00
dep
A very small implementation of the Calculus of Constructions for experimentation purposes
Language:Haskell13 2 00
math
A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
Language:TeX1 1 00
mld
An experiment in compositional typings
Language:Haskell10 3 00
plt-amy
👋
2 2 00
urn
Yet another Lisp variant which compiles to Lua
Language:Common Lisp366 17 3018
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:Agda335 11 7263

plt-amy's Repositories

plt-amy/dep
A very small implementation of the Calculus of Constructions for experimentation purposes
Language:Haskell13 2 00
plt-amy/mld
An experiment in compositional typings
Language:Haskell10 3 00
plt-amy/plt-amy
👋
2 2 00
plt-amy/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell1 1 00
plt-amy/math
A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
Language:TeX1 1 00
plt-amy/agda-mode-vscode
agda-mode on VS Code
Language:ReScript1 0
plt-amy/agda-unimath
Univalent mathematics in Agda
Language:Makefile1 0
plt-amy/agdapad
Agda as a collaborative multiplayer game
Language:JavaScript1 0
plt-amy/CC-Tweaked
Just another ComputerCraft fork
Language:Java1 0
plt-amy/Cobalt
A re-entrant fork of LuaJ
Language:Java1 0
plt-amy/cryptonite
lowlevel set of cryptographic primitives for haskell
Language:Haskell1 0
plt-amy/d3-force
Force-directed graph layout using velocity Verlet integration.
Language:JavaScript1 0
plt-amy/kde-gtk-config
Syncs KDE settings to GTK applications
Language:C++1 0
plt-amy/pandoc-slim
Universal markup converter
Language:Haskell1 0
plt-amy/ruby
The Ruby Programming Language [mirror]
Language:Ruby1 0
plt-amy/source
A wiki of tutorials
Language:CSS1 0
plt-amy/Vim
:star: Vim for Visual Studio Code
Language:TypeScript1 0
plt-amy/winghc
Docker image for building Haskell for Windows targets on Linux hosts
Language:Shell1 0
plt-amy/x86-64
Runtime code generation for x86 64 bit machine code
Language:Haskell1 0
plt-amy/xplugd
Monitor, keyboard, and mouse plug/unplug helper for X
Language:C1 0