EULIR

Runming Li's repositories

Brainfuck-interpreter

:hocho:Brainfuck Interpreter

Language:JavaMIT9 1 1

CAPTCHAs-Solver

:capital_abcd:Captchas solver

Language:PythonApache-2.09 10

baidu-ai-api-application

Language:JavaApache-2.07 10

brainfuck-generator

:wrench:Brainfuck code generator: used to generate Brainfuck code using Java

Language:BrainfuckMIT7 10

elevator

:electric_plug:a mock elevator control system

Language:JavaMIT7 10

NeoFuture-WechatMiniProgram

:satellite:Wechat Mini-Program for NeoFuture

Language:JavaScriptMIT7 10

ProjectEuler

:interrobang:Project Euler solutions

Language:JavaApache-2.07 2 1

eeml

:shell:JavaDoc page of EEML

Language:HTMLApache-2.06 20

Extended-Math-Library

:heavy_plus_sign:Extended math library based on JVM

Language:JavaGPL-3.06 20

JavaMail

:mailbox_with_mail: JavaMail implementation

Language:JavaApache-2.06 10

Klotski

:video_game:n-puzzle(Klotski) game based on FriceEngine

Language:JavaMIT6 10

ltl-explainability

Linear Temporal Logic to Timeline

Language:TeXGPL-3.06 30

wetlandpark

:earth_asia:MIT Solve solution description website: wetland park

Language:CSSCC0-1.06 10

Blog-Template

:white_square_button:a Blog Template

Language:JavaScriptApache-2.05 10

CMStation

:three:CMStaion website source code

Language:JavaScriptApache-2.05 10

C0-lang

:atom: Syntax highlight package for C0 language in Atom editor

Language:JavaScriptMIT4 1 1

FriceEngine

:video_game: JVM game engine based on Swing/JavaFX.

Language:KotlinAGPL-3.04 10

Resume

:four_leaf_clover: My résumé

Language:TeXMIT2 10

myplot

A rough but universial 2D and 3D mathematical function grapher in C++

Language:C++1 20

pylogics

A Python library for logic formalisms representation and manipulation.

Language:PythonLGPL-3.0100

agda-calf

A verified cost analysis of joinable red-black trees in calf, embedded in Agda.

Language:AgdaApache-2.0000

EULIR

010

leetcode

This repo stores my leetcode solutions

Language:Java020