- Wellington
Highlights
Stars
- All languages
- ANTLR
- ActionScript
- AppleScript
- Assembly
- C
- C#
- C++
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Dockerfile
- Elixir
- Erlang
- GDShader
- GLSL
- Gherkin
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- MAXScript
- Makefile
- Markdown
- Mustache
- OCaml
- Objective-C
- Objective-C++
- Perl
- PowerShell
- Python
- Racket
- Ruby
- Rust
- Scala
- Shell
- Swift
- TeX
- TypeScript
- Vala
- Vim Script
- Wren
- XSLT
- Yacc
- Zig
Micro second messaging that stores everything to disk
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
The ToroDB solution to provide better analytics on top of MongoDB and make it easier to migrate from MongoDB to SQL
AWS SDK for Android. For more information, see our web site:
"Selenium for Android" (Test automate native or hybrid Android apps and the mobile web with Selendroid.) Join us on IRC #selendroid on freenode. Also confirm you have signed the CLA http://goo.gl/p…
A big, fast and persistent queue based on memory mapped file.
A Logical Clock for Static and Dynamic Systems
Introduce failures into HTTP requests via a proxy server
A Java implementation of the Simple Certificate Enrolment Protocol
A SQL parser done as part of a graduate database class
A multi-part/form uploader for the Volley HTTP library