Lists (19)
Sort Name ascending (A-Z)
Stars
- All languages
- Ada
- Agda
- Assembly
- Awk
- BQN
- Ballerina
- Batchfile
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dart
- Dhall
- Dylan
- Earthly
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Fennel
- Forth
- Fortran
- FreeBasic
- GAP
- GDScript
- Gleam
- Go
- HTML
- Handlebars
- Haskell
- Haxe
- HolyC
- Idris
- Janet
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mercury
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Odin
- OpenSCAD
- PHP
- Pascal
- Perl
- PicoLisp
- PostScript
- PowerShell
- Prolog
- Python
- QML
- R
- Racket
- Reason
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Smalltalk
- Spline Font Database
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- Toit
- TypeScript
- Typst
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- XSLT
- YARA
- YASnippet
- Yacc
- Zig
- jq
Free universal database tool and SQL client
Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.
Git Server with CI/CD, Kanban, and Packages. Seamless integration. Unparalleled experience.
Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)
A configuration as code language with rich validation and tooling.
A free, secure and open source app for Android to manage your 2-step verification tokens.
Digital logic design tool and simulator
Open-Source Subscription Billing & Payments Platform
A digital logic designer and circuit simulator.
polymorphicshade / NewPipe
Forked from TeamNewPipe/NewPipeA fork of NewPipe with SponsorBlock functionality.
Database Subsetting and Relational Data Browsing Tool.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
iText for Java represents the next level of SDKs for developers that want to take advantage of the benefits PDF can bring. Equipped with a better document engine, high and low-level programming cap…
Open Source SMT Pick and Place Hardware and Software
A cross-platform java application for decoding, monitoring, recording and streaming trunked mobile and related radio protocols using Software Defined Radios (SDR). Website:
Android application for online privacy and security
Flexible tool to build planet-scale vector tilesets from OpenStreetMap data fast
Email-based instant messaging for Android.
Aria2App is an advanced download manager based on aria2 that can handle remote servers too.
Framework to interpret and transpile JVM bytecode to JavaScript, OpenCL or WebAssembly.
ERP beyond your fridge, now on your phone – An awesome companion app for grocy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…