Lists (1)
Sort Name ascending (A-Z)
- All languages
- Ada
- Agda
- Assembly
- Augeas
- Awk
- Ballerina
- Bikeshed
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- Common Workflow Language
- Coq
- Crystal
- Cuda
- Cython
- D
- DIGITAL Command Language
- Dart
- Dhall
- Dockerfile
- Eiffel
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- Flix
- Forth
- Fortran
- FreeMarker
- Frege
- GAP
- Go
- Groovy
- HTML
- Hack
- Haskell
- Haxe
- Hy
- Idris
- Isabelle
- Jai
- Janet
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Leo
- Linear Programming
- LiveScript
- Lua
- M
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Max
- Mercury
- Mojo
- Nim
- Nix
- Nushell
- OCaml
- Odin
- OpenQASM
- PHP
- PLSQL
- PLpgSQL
- Pascal
- Perl
- Pony
- PowerShell
- Prolog
- Pug
- PureScript
- Python
- QML
- R
- Racket
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smalltalk
- Smarty
- Standard ML
- Starlark
- Svelte
- Swift
- Tcl
- TeX
- Toit
- Tree-sitter Query
- TypeScript
- UrWeb
- V
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- Xtend
- Yacc
- Zig
- reStructuredText
Starred repositories
Ghidra is a software reverse engineering (SRE) framework
Termux - a terminal emulator application for Android OS extendible by variety of packages.
Free universal database tool and SQL client
A libre lightweight streaming front-end for Android.
ZXing ("Zebra Crossing") barcode scanning library for Java, Android
Desktop/Android/HTML5/iOS Java game development framework
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
Style and Grammar Checker for 25+ Languages
A free, secure and open source app for Android to manage your 2-step verification tokens.
AutoMQ is a diskless Kafka® on S3. 10x Cost-Effective. No Cross-AZ Traffic Cost. Autoscale in seconds. Single-digit ms latency. Multi-AZ Availability.
Efficient reliable UDP unicast, UDP multicast, and IPC message transport
Examples and server integrations for generating the Swagger API Specification, which enables easy access to your REST API
Enso Analytics is a self-service data prep and analysis platform designed for data teams.
Alluxio, data orchestration for analytics and machine learning in the cloud
Haven is for people who need a way to protect their personal spaces and possessions without compromising their own privacy, through an Android app and on-device sensors
Upserts, Deletes And Incremental Processing on Big Data.
AIMSICD • Fight IMSI-Catcher, StingRay and silent SMS!
OrientDB is the most versatile DBMS supporting Graph, Document, Reactive, Full-Text and Geospatial models in one Multi-Model product. OrientDB can run distributed (Multi-Master), supports SQL, ACID…
esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.
Graphical Java application for managing BibTeX and BibLaTeX (.bib) databases
Kafka GUI for Apache Kafka to manage topics, topics data, consumers group, schema registry, connect and more...
[Unmaintained] Open source two-factor authentication for Android
Android audio forwarding PoC (scrcpy, but for audio)