Skip to content
View alireza-keshavarz-d's full-sized avatar

Block or report alireza-keshavarz-d

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

Constrained Delaunay Triangulation (C++)

C++ 1,335 165 Updated Jul 14, 2025

A fast and accurate disassembler

C++ 738 65 Updated Jan 23, 2026

An open-source C++ library developed and used at Facebook.

C++ 30,247 5,846 Updated Feb 4, 2026

Fil-C: completely compatible memory safety for C and C++

2,938 59 Updated Feb 3, 2026

Concurrent decision diagram framework written in Rust

Rust 77 14 Updated Dec 3, 2025

10 papers that all PhD students in programming languages ought to know, for some value of 10

925 28 Updated Nov 12, 2019

IdeaVim – A Vim engine for JetBrains IDEs

Kotlin 10,130 808 Updated Feb 4, 2026

Kos programming language

C 18 2 Updated Feb 3, 2026

Record and Replay Framework

C++ 10,362 643 Updated Jan 19, 2026

Papers from the computer science community to read and discuss.

Shell 102,953 6,265 Updated Oct 10, 2025

Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

C++ 33,802 7,712 Updated Oct 11, 2025

CrashMonkey: tools for testing file-system reliability (OSDI 18)

C++ 206 34 Updated Oct 1, 2022

A very small C interpreter

C 542 83 Updated Jun 2, 2022

The official repository for the gem5 computer-system architecture simulator.

C++ 2,450 1,671 Updated Feb 3, 2026

[ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling

C++ 36 6 Updated Oct 9, 2022

A portable foreign-function interface library.

C 4,162 791 Updated Dec 26, 2025

scripting language for linux kernel scheduler

Rust 13 2 Updated Nov 27, 2025

A toolkit for enforcing logical specifications on neural networks

Haskell 121 15 Updated Feb 4, 2026

Source code for performing 2d rectangular bin packing.

C++ 964 200 Updated Sep 25, 2023

Cross-platform asynchronous I/O

C 26,544 3,838 Updated Feb 2, 2026

RISC-V Formal Verification Framework

Verilog 178 43 Updated Jan 19, 2026

Parsing Expression Grammar Template Library

C++ 2,109 245 Updated Jan 10, 2026

Simple .INI file parser in C, good for embedded systems

C++ 2,918 557 Updated Jan 30, 2026

Wt, C++ Web Toolkit

C 1,825 386 Updated Jan 28, 2026

Tutorial on modeling with TLA+

TLA 24 3 Updated Oct 7, 2025

Apache NuttX is a mature, real-time embedded operating system (RTOS)

C 3,678 1,479 Updated Feb 3, 2026

The efficient SMT-based context-bounded model checker (ESBMC)

C 429 123 Updated Feb 4, 2026

C++20 Coroutines Cheat Sheet

TeX 88 2 Updated Sep 19, 2024

Subprocessing with modern C++

C++ 559 104 Updated Nov 10, 2025

A general-purpose lightweight C++ graph library

C++ 373 60 Updated Jan 4, 2026
Next