EULIR

CS @ Carnegie Mellon University

Pittsburgh

Pinned Repositories

agda-calf
A verified cost analysis of joinable red-black trees in calf, embedded in Agda.
Language:Agda0 0 00
brainfuck-generator
:wrench:Brainfuck code generator: used to generate Brainfuck code using Java
Language:Brainfuck7 1 00
Brainfuck-interpreter
:hocho:Brainfuck Interpreter
Language:Java9 1 10
C0-lang
:atom: Syntax highlight package for C0 language in Atom editor
Language:JavaScript4 1 10
FriceEngine
:video_game: JVM game engine based on Swing/JavaFX.
Language:Kotlin4 1 00
Klotski
:video_game:n-puzzle(Klotski) game based on FriceEngine
Language:Java6 1 00
ltl-explainability
Linear Temporal Logic to Timeline
Language:TeX7 3 00
myplot
A rough but universial 2D and 3D mathematical function grapher in C++
Language:C++1 2 00
pylogics
A Python library for logic formalisms representation and manipulation.
Language:Python1 0 00
agda-calf
A cost-aware logical framework, embedded in Agda.
Language:Agda54 6 54

EULIR's Repositories

EULIR/Brainfuck-interpreter
:hocho:Brainfuck Interpreter
Language:Java9 1 10
EULIR/brainfuck-generator
:wrench:Brainfuck code generator: used to generate Brainfuck code using Java
Language:Brainfuck7 1 00
EULIR/ltl-explainability
Linear Temporal Logic to Timeline
Language:TeX7 3 00
EULIR/Klotski
:video_game:n-puzzle(Klotski) game based on FriceEngine
Language:Java6 1 00
EULIR/C0-lang
:atom: Syntax highlight package for C0 language in Atom editor
Language:JavaScript4 1 10
EULIR/FriceEngine
:video_game: JVM game engine based on Swing/JavaFX.
Language:Kotlin4 1 00
EULIR/myplot
A rough but universial 2D and 3D mathematical function grapher in C++
Language:C++1 2 00
EULIR/pylogics
A Python library for logic formalisms representation and manipulation.
Language:Python1 0 00
EULIR/agda-calf
A verified cost analysis of joinable red-black trees in calf, embedded in Agda.
Language:Agda0 0 00
EULIR/EULIR
1 0