Crack detection on a surface using different deep learning models

Agda is a dependently typed programming language / interactive theorem prover.

A modern proof language

Coronavirus (COVID) genetic analysis using Normalized Compression Distance (NCD)

C language complearn library

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Demos of WebAssembly and web workers

Handling pipe of commands like a single command

Temporary repository for Kind2's refactor based on HVM2

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

Distributed lock for your scheduled tasks

Persistent cluster-friendly scheduler for Java

A command-line benchmarking tool

Duplicate code finder for Elixir

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

Cap'n Proto serialization/RPC system - core tools and C++ library

A massively parallel, high-level programming language

Rayon: A data parallelism library for Rust

Image processing, generative photography, cellular automata

Java 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

Practice CS fundamentals with Rust coding challenges

The famous jass syntax checker.

An open-source, customizable intermediate logic textbook

cleaner C++ port of libqsearch

vitefolts First Order Logic Typescript theorem prover

Camera Lidar Calibration using Transformer

Empowering everyone to build reliable and efficient software.

A massively parallel, optimal functional runtime in Rust

Book teaching how to write modern and effective Java. It is maintained by the community, anyone can contribute.