Ola-jed
Follow
Lists (1)
Starred repositories
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Converts MySQL dump to SQLite3 compatible dump
A fast, simple and lightweight Bloom filter library for Python, implemented in Rust.
Cross-platform C++20 GUI framework featuring MVVM architecture, reactive capabilities, and scalable, accelerated GPU rendering.
Kotlin multiplatform benchmarking toolkit
Monitor temperature, control fan speeds, backlight color and more using WMI BIOS and the Embedded Controller. Lightweight, runs in the background with minimal footprint. Has a command-line mode too.
Visually explore your JMH Benchmarks
Removes large or troublesome blobs like git-filter-branch does, but faster. And written in Scala
A better API for making Event Source requests, with all the features of fetch()
Runtime code generation for the Java virtual machine.
Modern Laravel OpenAPI (Swagger) documentation generator. No PHPDoc annotations required.
PlayStation 4 emulator for Windows, Linux and macOS written in C++
A massively parallel, optimal functional runtime in Rust
Control the HP Omen keyboard lighting and performance settings in Linux
A Python package to assess and improve fairness of machine learning models.
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Papers from the computer science community to read and discuss.
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
A massively parallel, high-level programming language
Open-source vector similarity search for Postgres
