Lists (2)
Sort Name ascending (A-Z)
Stars
- All languages
- ApacheConf
- Assembly
- AutoHotkey
- Bikeshed
- Brightscript
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Common Workflow Language
- Coq
- Crystal
- Cuda
- Cython
- Dart
- Dockerfile
- Elixir
- Elm
- Erlang
- F#
- F*
- Fluent
- GDScript
- Gleam
- Go
- HCL
- HTML
- Haml
- Handlebars
- Haskell
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Max
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- PHP
- Perl
- Processing
- Pure Data
- PureScript
- Python
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Scheme
- Shell
- Smarty
- Solidity
- SuperCollider
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic
- Vue
- WebAssembly
- XSLT
- Zig
- reStructuredText
Server supporting the Signal Private Messenger applications on Android, Desktop, and iOS
Digital logic design tool and simulator
A digital logic designer and circuit simulator.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A p2p, secure file storage, social network and application protocol
The official plugin for Facebook in Apache Cordova/PhoneGap
Decentralized private messenger with chat-shared tools and games for Android
📅 Cordova plugin to Create, Change, Delete and Find Events in the native Calendar
Create custom vector tiles from OpenStreetMap and other data sources with Postgis and Java.
Native transitions like Slide and Flip for iOS, Android and Windows Phone
Moved to https://github.com/tobrun/flutter-mapbox-gl
ArcaneChat for Android: ⚡ Fast encrypted chats for the family
A reverse-engineered implementation of the Chirp data-over-audio protocol.
Finding people to cooperate with. Protocol, not platform. Decentralized. Linked Data. Open Source.
Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees (Java Prototype)
A semantic and technical analysis of musical scores based on Information Retrieval Principles
Testing out WifiP2P on Android and how it works with Multicast UDP (for peer discovery)
DataHop Device-to-Device Wifi-Direct connectivity library
Datahop Bluetooth Low Energy discovery service library for Android
Create a Graph of Social Trust from CircleUBI Contract Event Data