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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
Beta Lists are currently in beta. Share feedback and report bugs.
Showing results

Distributed, offline-first bug tracker embedded in git, with bridges

Go 8,136 269 Updated Oct 17, 2024

A massively parallel, optimal functional runtime in Rust

Cuda 10,470 397 Updated Sep 4, 2024

An async version of iterator

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

Record and Replay Framework

C++ 9,142 584 Updated Oct 16, 2024

Wrap rust executables in OS-specific app bundles

Rust 1,085 76 Updated Sep 28, 2024

Generate parsers directly from AST node types

Rust 76 2 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 540 245 Updated Aug 10, 2024

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

Rust 931 57 Updated Oct 12, 2024

Lightning Creations Compiler Frontend for various languages

Rust 108 9 Updated Oct 12, 2024

📚 Freely available programming books

336,462 61,482 Updated Oct 18, 2024

Papers from the computer science community to read and discuss.

Shell 87,556 5,730 Updated Oct 2, 2024
Jupyter Notebook 158 10 Updated Jul 11, 2023

Peer-to-Peer Databases for the Decentralized Web

JavaScript 8,298 568 Updated Oct 16, 2024

Dolt – Git for Data

Go 17,851 508 Updated Oct 18, 2024

A Rust compiler front-end for IDEs

Rust 14,188 1,589 Updated Oct 18, 2024

Metamath Zero specification language

Rust 312 40 Updated Jul 17, 2024

Language development libraries for Rust

891 24 Updated May 2, 2024
Rust 310 25 Updated Apr 18, 2024

Codegen serialization logic for CBOR automatically from a CDDL specification

Rust 40 14 Updated Sep 9, 2024

A library for advanced finite element computations in Rust

Rust 119 6 Updated Sep 25, 2023

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

Rust 1,363 136 Updated Aug 31, 2024

🐦 Friendly little instrumentation profiler for Rust 🦀

Rust 1,488 74 Updated Aug 21, 2024

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

Coq 811 13 Updated Apr 1, 2024

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

Rust 6,548 197 Updated May 10, 2024

🦀 How to minimize Rust binary size 📦

Rust 8,157 210 Updated Sep 11, 2024

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

Rust 85 10 Updated Apr 5, 2024

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

CMake 4,406 386 Updated Jul 31, 2024

Font introspection, complex text shaping and glyph rendering.

Rust 647 37 Updated Oct 7, 2024
Next