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.

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
Showing results

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

C++ 825 327 Updated Feb 21, 2025

Adding conjecturing to Sage

C 13 3 Updated Mar 17, 2023

Systems language with linear types and capability-based security.

OCaml 1,170 44 Updated Jun 24, 2024

Clipboard management system

C 815 57 Updated Feb 15, 2025

List of awesome GTK (3/4) applications

943 46 Updated Feb 17, 2025

A Git-compatible VCS that is both simple and powerful

Rust 11,506 404 Updated Feb 22, 2025

⚡ Extremely fast online playground for every programming language.

JavaScript 1 Updated Jul 7, 2023

Claro Lang

Java 141 11 Updated May 8, 2024

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

C++ 3,920 349 Updated Feb 21, 2025

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

Python 4,729 572 Updated Jul 6, 2024

ACMEv2 client written in plain C with minimal dependencies

C 448 39 Updated Jan 19, 2025

An optimizing ahead-of-time Python Compiler

C++ 163 7 Updated Jun 9, 2024

Userspace WireGuard® Implementation in Rust

Rust 6,262 428 Updated Oct 14, 2024

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

Rust 1,066 38 Updated Sep 11, 2024

Run Windows software and games on Linux

Python 6,793 287 Updated Feb 21, 2025

A modern fully featured C compiler.

Zig 1,263 57 Updated Feb 20, 2025

A port of puppeteer running on Deno

TypeScript 458 45 Updated Dec 1, 2023

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

Haskell 3,166 322 Updated Feb 20, 2025

Wireguard client that exposes itself as a socks5 proxy

Go 4,774 291 Updated Feb 19, 2025

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

Nim 294 39 Updated Feb 18, 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 36,091 2,171 Updated Feb 21, 2025

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

C 11,478 6,984 Updated Feb 21, 2025

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

Wren 7,049 566 Updated Feb 16, 2025

The Serenity Operating System 🐞

C++ 31,096 3,204 Updated Feb 20, 2025

A parser combinator library for Zig

Zig 508 23 Updated Nov 28, 2024

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

Lua 2,155 71 Updated Dec 14, 2024

Lightweight Ruby

C 5,335 797 Updated Feb 3, 2025

The Crystal Programming Language

Crystal 19,629 1,626 Updated Feb 21, 2025

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

ReScript 6,884 457 Updated Feb 21, 2025

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

Go 5,294 302 Updated Feb 21, 2025
Next