Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View ishehadeh's full-sized avatar

Block or report ishehadeh

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

SimTK OpenSim C++ libraries and command-line applications, and Java/Python wrapping.

C++ 966 353 Updated Dec 19, 2025

Adding conjecturing to Sage

C 14 3 Updated Mar 17, 2023

Systems language with linear types and capability-based security.

OCaml 1,425 52 Updated Jul 28, 2025

Clipboard management system

C 872 59 Updated Dec 20, 2025

List of awesome GTK (3/4) applications

Python 1,132 51 Updated Dec 11, 2025

A Git-compatible VCS that is both simple and powerful

Rust 23,307 852 Updated Dec 20, 2025

⚡ Extremely fast online playground for every programming language.

JavaScript 1 Updated Jul 7, 2023

Claro Lang

Java 148 11 Updated May 8, 2024

Fast and beautiful note-taking app written in C++. Write down your thoughts.

C++ 4,188 367 Updated Nov 15, 2025

A tiny script to issue and renew TLS certs from Let's Encrypt

Python 4,757 576 Updated Jun 17, 2025

ACMEv2 client written in plain C with minimal dependencies

C 474 42 Updated Sep 19, 2025

An optimizing ahead-of-time Python Compiler

C++ 249 14 Updated Jun 9, 2024

Userspace WireGuard® Implementation in Rust

Rust 6,744 479 Updated Nov 24, 2025

A small extensible programming language designed for concise expression with little code.

Rust 1,084 38 Updated Sep 11, 2024

Run Windows software and games on Linux

Python 7,758 327 Updated Dec 20, 2025

A modern fully featured C compiler.

Zig 1,542 72 Updated Dec 18, 2025

A port of puppeteer running on Deno

TypeScript 457 46 Updated Dec 1, 2023

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Haskell 3,639 342 Updated Dec 19, 2025

Wireguard client that exposes itself as a socks5 proxy

Go 5,304 347 Updated Nov 20, 2025

An in development statically typed systems programming language; with sustainability at its core. We, the community of users, maintain it.

Nim 334 39 Updated Dec 15, 2025

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

V 37,144 2,219 Updated Dec 20, 2025

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

C 13,956 8,404 Updated Dec 20, 2025

The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.

Wren 7,620 593 Updated Nov 19, 2025

The Serenity Operating System 🐞

C++ 32,711 3,290 Updated Dec 20, 2025

A parser combinator library for Zig

Zig 572 27 Updated Nov 26, 2025

Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.

Lua 2,323 75 Updated Jun 24, 2025

Lightweight Ruby

C 5,453 823 Updated Dec 17, 2025

The Crystal Programming Language

Crystal 20,102 1,655 Updated Dec 20, 2025

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

ReScript 7,277 476 Updated Dec 17, 2025

The home of the CUE language! Validate and define text-based and dynamic configuration

Go 5,847 346 Updated Dec 19, 2025
Next