Luna's repositories
pi-forall-kt
A dependently typed programming language
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
Language:PythonMIT000
elab
Elaboration of Martin-Löf Type Theory
Language:RustMIT000
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
BSD-3-Clause000
Language:Python000
guest0x0
Neon lights in the night tonight and stars that shine in the open sky
GPL-3.0000
Language:RubyUPL-1.0000
Idris2
A purely functional programming language with first class types
NOASSERTION000
000
Language:Rust000
nix-env.fish
Nix environment setup for the fish shell
Unlicense000
objection_engine
Library that turns comment chains into ace attorney scenes, used in several bots | forked to add chinese support
Language:PythonMIT000
OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeXCC-BY-4.0000
pi-forall
A demo implementation of a simple dependently-typed language
000
Language:RustMIT000
Solution-to-Algebra-Chapter-0
Solution to Algebra, Chapter 0
000
tale
Minimal Jekyll theme for storytellers
MIT000