Git Product home page Git Product logo

Aaron's Projects

ivy icon ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

jsmind icon jsmind

Javascript version of mind mapping

lan icon lan

Internet of Things Server Layer with CoAP, WebSocket, MQTT, HTTP Protocol.

leanote icon leanote

Not Just A Notepad! (golang + mongodb) http://leanote.org

lightlda icon lightlda

Scalable, fast, and lightweight system for large-scale topic modeling

lime icon lime

Open source API-compatible alternative to the text editor Sublime Text

macvim icon macvim

Vim - the text editor - for Mac OS X

main icon main

Implementations of Python and Ruby programming languages for .NET Framework that are built on top of the Dynamic Language Runtime.

markdown-syntax-cn icon markdown-syntax-cn

Markdown 语法简体中文版（fork 于繁体中文版 http://markdown.tw/ ）

markdown-toc icon markdown-toc

🎄Generate toc for github markdown file.（为 markdown 文件生成 toc 目录）

mars icon mars

Mars is a cross-platform network component developed by WeChat.

mjml icon mjml

MJML: the only framework that makes responsive-email easy

mono icon mono

Mono open source ECMA CLI, C# and .NET implementation.

monodevelop icon monodevelop

MonoDevelop is a cross platform IDE mostly aimed at Mono/.NET developers

monogame icon monogame

One framework for creating powerful cross-platform games.

msbuild icon msbuild

The Microsoft Build Engine (MSBuild) is the build platform for .NET and Visual Studio.

mtcp icon mtcp

mTCP: A Highly Scalable User-level TCP Stack for Multicore Systems

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.