Skip to content
View omagdy7's full-sized avatar
🐧
🐧

Block or report omagdy7

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

The core OCaml system: compilers, runtime system, base libraries

OCaml 5,647 1,118 Updated Feb 22, 2025

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Haskell 3,099 711 Updated Feb 22, 2025

A massively parallel, optimal functional runtime in Rust

Cuda 10,828 418 Updated Nov 21, 2024

Compile time static maps for Rust

Rust 1,894 120 Updated Feb 2, 2025

Neovim support for the Lean theorem prover

Lua 324 29 Updated Feb 21, 2025

Assorted immutable collection datatypes for Rust

Rust 1,513 113 Updated Aug 19, 2024

A collection of resources for learning type theory and type theory adjacent fields.

2,210 119 Updated Aug 30, 2024

Programming Language Theory λΠ

CSS 5,267 339 Updated Dec 2, 2024

Zonos-v0.1 is a leading open-weight text-to-speech model trained on more than 200k hours of varied multilingual speech, delivering expressiveness and quality on par with—or even surpassing—top TTS …

Python 5,327 520 Updated Feb 18, 2025

The Flix Programming Language

Scala 2,237 160 Updated Feb 21, 2025

RISC-V Instruction Set Manual

TeX 3,892 676 Updated Feb 21, 2025

Automated property based testing for Rust (with shrinking).

Rust 2,483 154 Updated Dec 12, 2023

An ecosystem of tools to build robust applications in TypeScript

TypeScript 8,282 274 Updated Feb 22, 2025

libSQL is a fork of SQLite that is both Open Source, and Open Contributions.

C 13,841 350 Updated Feb 21, 2025

Limbo is a QEMU-based emulator for Android. It currently supports x86, ARM, PowerPC, and Sparc emulation for Intel x86 and ARM android devices. See wiki https://virtualmachinery.weebly.com for APK …

Java 2,845 474 Updated Aug 18, 2024

Limbo is a project to build the modern evolution of SQLite.

Rust 9,558 344 Updated Feb 18, 2025

framework for composable networking services

Rust 2,182 112 Updated Jan 31, 2025

An educational resource to help anyone learn deep reinforcement learning.

Python 10,545 2,282 Updated Aug 5, 2024

List of materials about functional programming in C++

665 63 Updated Jun 27, 2020

Include your assets statically into your application with a strict structure

Rust 84 1 Updated Feb 11, 2025

A React-Native Trip planning app for Egypt

TypeScript 1 Updated Feb 7, 2025

fabric is an open-source framework for augmenting humans using AI. It provides a modular framework for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.

Go 29,476 3,027 Updated Feb 14, 2025

🔥 Static site generator for Deno 🦕

TypeScript 2,017 102 Updated Feb 22, 2025

🍎Transform an SVG icon into multiple themes, and generate React icons,Vue icons,svg icons

TypeScript 8,547 508 Updated Feb 24, 2023

The Go programming language

Go 125,997 17,901 Updated Feb 22, 2025

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

Rust 1,196 49 Updated Feb 22, 2025

A new markup-based typesetting system that is powerful and easy to learn.

Rust 37,825 1,030 Updated Feb 21, 2025

rust stackful coroutine library

Rust 2,007 83 Updated Jan 15, 2025

Visualize debugging sessions in neovim!

Lua 227 4 Updated Feb 22, 2025

A command line interface for rendering and animating 3D objects

Rust 397 5 Updated Feb 4, 2025
Next