programleague Goto Github PK
Name: PLASTIC
Type: Organization
Bio: Focus on next generational technology research. [QQ Group: 319293196]
Location: Earth.
Name: PLASTIC
Type: Organization
Bio: Focus on next generational technology research. [QQ Group: 319293196]
Location: Earth.
新坑 聊天机器人凉果冻 0v0
ChatBot that can extracting statement memory and propositional logic inference formly in Chinese
A proof assistant.
A safe program compiler & executor base on Docker.
light command line download accelerator
多人在线城堡式rpg,使用Python实现服务器,telnet作为客户端
Coroutine based on ucontext(POSIX)
C++ function utility library
An almost-pure C++ library for writing functional code.
Runtime-Compiled C++ is a way to reliably make major changes to your C++ code at runtime and see the results immediately.
Pure C++11 Signals and Slots
Structured Editor Frontend
:email: Use email to wake your PC, and so on.
文件封包解包
Parse and Rendering of Formula Code
Free version of ICTCLAS
The Incredible Proof Machine
A parser for iTunes exported XML file.
some stuffs from JetBrains
A compiler for JavaScript asynchronous Continuation-Passing Style transformation
A simple GC in C
A dialect of Lisp extended to support concurrent programming, written in Go.
Excellent logical language
A minimalistic and high-performance SAT solver
基于Node.js的云计算(客户端+服务端)命令行(Windows/Linux/Mac多平台兼容)工具
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.