🎯
Focusing
Stars
- All languages
- Assembly
- C
- C#
- C++
- CSS
- Cairo
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Cuda
- D
- Dart
- Dylan
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- GDScript
- Go
- HTML
- Haskell
- Hy
- Idris
- Java
- JavaScript
- JetBrains MPS
- Jinja
- Julia
- Jupyter Notebook
- Just
- Kotlin
- Lean
- Less
- Lua
- MDX
- Makefile
- MoonScript
- Mustache
- NCL
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Perl
- Prolog
- Puppet
- Python
- R
- RPC
- Racket
- ReScript
- Reason
- Rich Text Format
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smarty
- Solidity
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- YAML
- Zig
- q
9
stars
written in Java
Clear filter
QuestDB is an open source time-series database for fast ingest and SQL queries
Source for the TechEmpower Framework Benchmarks project
Simple Binary Encoding (SBE) - High Performance Message Codec
A blazingly fast multi-language serialization framework powered by JIT and zero-copy.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.