Stars
- All languages
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Coq
- D
- DTrace
- Dockerfile
- F#
- F*
- Frege
- Gherkin
- Go
- Groovy
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- Makefile
- NSIS
- Nemerle
- OCaml
- Objective-C
- Objective-C++
- Perl
- PowerShell
- Python
- R
- Racket
- Rich Text Format
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- V
- Vim Script
- XML
- Zig
PseudoFish / Hodoku
Forked from yoki123/hodokuHodoku is a solver/generator/trainer/analyzer for standard sudoku.
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
A modern, lambda-friendly, 120 character Java formatter.
Nanolog is an extremely performant nanosecond scale logging system for C++ that exposes a simple printf-like API.
A better compressed bitset in Java: used by Apache Spark, Netflix Atlas, Apache Pinot, Tablesaw, and many others
Instrument instrumenting agents to see how they transform classes
Modern Java decompiler aiming to be as accurate as possible, with an emphasis on output quality. Fork of the Fernflower decompiler.
Tool to test SSL connections from within the java VM (with http proxy support)
xctrace (a.k.a. Instruments) based profiler for JMH
A static web application to explore and animate a TLA+ state graph.
A flexible distributed key-value datastore that is optimized for caching and other realtime workloads.
a structural diff that understands syntax π₯π©
π¦ Scoop bucket for non-portable applications.
A modern file manager that helps users organize their files and folders.
Perl and LUA ports of the 1978 Super Star Trek by Bob Leedom
A configuration as code language with rich validation and tooling.
Examples for using Pkl within JVM applications
Fast and exact implementation of the C++ from_chars functions for number types: 4x to 10x faster than strtod, part of GCC 12, Chromium, Redis and WebKit/Safari
A continuation of Reliable SSH Tunnel, to set up and maintain persistent SSH (reverse) tunnels like autossh
A bounded multi-producer multi-consumer concurrent queue written in C++11
This is a repository for the code posted on my blog
1οΈβ£πποΈ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
Plugin for IntelliJ-based IDEs folding root files in the ProjectView
A simple emotion picker that displays all the supported GitHub emojis .