Repositories list

• Formula-Render

  Public
  Parse and Rendering of Formula Code

  C++

  •0•1•0•0•Updated Oct 18, 2019Oct 18, 2019

• SCMath

  Public
  symbolic-computation engine

  C++

  •0•1•0•0•Updated Sep 30, 2019Sep 30, 2019

• Physics-lab

  Public
  C#

  •0•0•0•0•Updated Jun 10, 2019Jun 10, 2019

• SCMath-Lang

  Public
  Cross-platform SCMath with command line frontend

  C++

  •0•0•0•0•Updated May 2, 2019May 2, 2019

• EditorFrontend

  Public
  Structured Editor Frontend

  C++

  •0•0•0•0•Updated Dec 12, 2018Dec 12, 2018

• website

  Public archive
  [招募后端！联系Ray-Eldath] NoError(s): Build completed, no error(s) occurred.

  websitejqueryvue

  JavaScript

  •0•7•1•0•Updated Jul 14, 2018Jul 14, 2018

• Natural_Logic_Interpreter

  Public
  Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic

  Python

  •

  MIT License

  •10•0•0•0•Updated Jun 6, 2018Jun 6, 2018

• EW.Email

  Public
  📧 Use email to wake your PC, and so on.

  emailemail-boilerplatehandler

  Kotlin

  •

  GNU General Public License v3.0

  •0•4•0•0•Updated Mar 10, 2018Mar 10, 2018

• SCP-ProgramLeague

  Public
  [资料删除]

  0•2•0•0•Updated Mar 1, 2018Mar 1, 2018

• iTunesXMLParser

  Public
  A parser for iTunes exported XML file.

  itunesxml-parsingitunes-music-library

  Kotlin

  •

  GNU Affero General Public License v3.0

  •0•2•0•0•Updated Jan 13, 2018Jan 13, 2018

• TreeLang

  Public
  MIT License

  •0•0•0•0•Updated Oct 21, 2017Oct 21, 2017

• vulcan

  Public
  A JavaScript propositional logic and resolution library

  JavaScript

  •

  GNU Affero General Public License v3.0

  •9•0•0•0•Updated Sep 19, 2017Sep 19, 2017

• Avalon-Executive

  Public
  A safe program compiler & executor base on Docker.

  dockersandboxexecutor-service

  Java

  •

  GNU Affero General Public License v3.0

  •5•7•0•0•Updated Aug 14, 2017Aug 14, 2017

• constraint-satisfication-programming

  Public
  C#

  •0•0•0•0•Updated May 30, 2017May 30, 2017

• ShapeBuilderLanguage

  Public
  A DSL to draw graphics on a JFrame, which is built with JetBrains MPS

  dslgraphicsmps

  GNU General Public License v3.0

  •0•7•0•0•Updated Apr 21, 2017Apr 21, 2017

• JetBrainsStuffs

  Public
  some stuffs from JetBrains

  Batchfile

  •

  Apache License 2.0

  •0•0•0•0•Updated Apr 8, 2017Apr 8, 2017

• Sello

  Public
  JVM GUI Music Player

  Kotlin

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Apr 3, 2017Apr 3, 2017

• strictfp-front-end-mae

  Public
  前端（灯里面版）

  front-endfrontendfrontend-web

  JavaScript

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Mar 7, 2017Mar 7, 2017

• strictfp-front-end

  Public
  前端分支

  JavaScript

  •0•1•0•0•Updated Feb 1, 2017Feb 1, 2017

• strictfp-back-end

  Public
  The back end for StrictFP website.

  Java

  •

  GNU General Public License v2.0

  •0•4•0•0•Updated Jan 27, 2017Jan 27, 2017

• axel

  Public
  light command line download accelerator

  C

  •

  GNU General Public License v2.0

  •266•0•0•0•Updated Jan 16, 2017Jan 16, 2017

• OJ-Spider-Scala

  Public
  A spider only for OJ problems.

  Scala

  •0•0•0•0•Updated Dec 18, 2016Dec 18, 2016

• PLASTIC_RPG

  Public
  一个以PLASTIC成员为游戏角色的RPG游戏:joy:

  Kotlin

  •0•1•0•0•Updated Jul 22, 2016Jul 22, 2016

• Poet

  Public
  a automatic writing program

  C++

  •0•1•0•0•Updated Jul 21, 2016Jul 21, 2016

• FreeICTCLAS

  Public
  Free version of ICTCLAS

  C++

  •3•3•1•0•Updated Jul 20, 2016Jul 20, 2016

• free-programming-book

  Public
  0•3•0•0•Updated Jul 20, 2016Jul 20, 2016

• AiQi

  Public
  ChatBot that can extracting statement memory and propositional logic inference formly in Chinese

  C++

  •1•4•0•0•Updated Jul 5, 2016Jul 5, 2016

• AI-L-jelly

  Public
  新坑 聊天机器人凉果冻 0v0

  C++

  •2•0•0•0•Updated Jul 2, 2016Jul 2, 2016

• SpaceNet

  Public
  C

  •1•0•0•0•Updated Jul 1, 2016Jul 1, 2016

• j-bob

  Public
  Scheme

  •

  BSD 2-Clause "Simplified" License

  •63•0•0•0•Updated May 22, 2016May 22, 2016