Skip to content
View ckaran's full-sized avatar

Block or report ckaran

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Distributed, offline-first bug tracker embedded in git

Go 9,605 291 Updated Dec 24, 2025

A massively parallel, optimal functional runtime in Rust

Cuda 11,189 428 Updated Nov 21, 2024

An async version of iterator

Rust 40 5 Updated Jun 11, 2024
Rust 3 1 Updated Aug 27, 2022

Record and Replay Framework

C++ 10,306 641 Updated Dec 24, 2025

Wrap rust executables in OS-specific app bundles

Rust 1,304 94 Updated Dec 14, 2025

Generate parsers directly from AST node types

Rust 86 3 Updated Jun 6, 2024

🚀 Useful README.md, LICENSE, CONTRIBUTING.md, CODE_OF_CONDUCT.md, SECURITY.md, GitHub Issues, Pull Requests and Actions templates to jumpstart your projects.

Python 661 258 Updated Aug 10, 2024

Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).

Rust 1,234 72 Updated Dec 30, 2025

Lightning Creations Compiler Frontend for various languages

Rust 120 9 Updated Dec 11, 2024

📚 Freely available programming books

Python 379,579 65,669 Updated Dec 16, 2025

Papers from the computer science community to read and discuss.

Shell 101,527 6,210 Updated Oct 10, 2025
Jupyter Notebook 162 9 Updated Jul 11, 2023

Peer-to-Peer Databases for the Decentralized Web

JavaScript 8,702 588 Updated Aug 5, 2025

Dolt – Git for Data

Go 19,499 602 Updated Dec 30, 2025

A Rust compiler front-end for IDEs

Rust 15,860 1,899 Updated Dec 30, 2025

Metamath Zero specification language

Lean 364 49 Updated Dec 22, 2025

Language development libraries for Rust

981 27 Updated Dec 9, 2024

Codegen serialization logic for CBOR automatically from a CDDL specification

Rust 42 16 Updated Sep 9, 2024

A library for advanced finite element computations in Rust

Rust 139 9 Updated Sep 25, 2023

egg is a flexible, high-performance e-graph library

Rust 1,636 180 Updated Dec 4, 2025

🐦 Friendly little instrumentation profiler for Rust 🦀

Rust 1,655 100 Updated Sep 16, 2025

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Coq 831 14 Updated Apr 1, 2024

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

Rust 7,483 234 Updated Nov 7, 2025

🦀 How to minimize Rust binary size 📦

Rust 9,573 239 Updated Oct 3, 2025

Software development platform with built-in vcs, issue tracking and code review

Rust 98 12 Updated Nov 29, 2025

🚀 Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.

CMake 5,248 475 Updated Mar 12, 2025

Font introspection, complex text shaping and glyph rendering.

Rust 814 49 Updated Oct 1, 2025
Next