Pinned Repositories
aya-dev
A proof assistant and a dependently-typed language
elab-rs
pi-forall-kt
A dependently typed programming language
lunalunaa's Repositories
lunalunaa/pi-forall-kt
A dependently typed programming language
lunalunaa/elab-rs
lunalunaa/ace-attorney-telegram-bot
Telegram bot that turns comment chains into ace attorney scenes. Inspired by and using https://github.com/micah5/ace-attorney-reddit-bot
lunalunaa/elab
Elaboration of Martin-Löf Type Theory
lunalunaa/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
lunalunaa/glow-bot
lunalunaa/guest0x0
Neon lights in the night tonight and stars that shine in the open sky
lunalunaa/homebrew-graalvm-dev
lunalunaa/Idris2
A purely functional programming language with first class types
lunalunaa/lunalunaa
lunalunaa/lunaris
lunalunaa/nix-env.fish
Nix environment setup for the fish shell
lunalunaa/objection_engine
Library that turns comment chains into ace attorney scenes, used in several bots | forked to add chinese support
lunalunaa/OpenLogic
An open-source, customizable intermediate logic textbook
lunalunaa/pi-forall
A demo implementation of a simple dependently-typed language
lunalunaa/PLGradSchools
lunalunaa/pong-rs
lunalunaa/Solution-to-Algebra-Chapter-0
Solution to Algebra, Chapter 0
lunalunaa/tale
Minimal Jekyll theme for storytellers