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

Skip to content
View rami3l's full-sized avatar
🐈‍⬛
Relocating...
🐈‍⬛
Relocating...

Organizations

@rust-lang

Block or report rami3l

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
Stars

PL

268 repositories

[WIP] Course project for Programming Language Principle

Rust 3 Updated Dec 19, 2021

Pratt parser written in Rust

Rust 91 5 Updated Nov 10, 2023

Beautiful diagnostic reporting for text-based programming languages.

Rust 1,252 66 Updated Oct 22, 2025

The Rust package manager

Rust 14,167 2,698 Updated Oct 24, 2025

Write expressive, high-performance parsers with ease.

Rust 4,276 187 Updated Oct 23, 2025

🔥 A cross-platform build utility based on Lua

Lua 11,430 875 Updated Oct 23, 2025

Run Rust files and expressions as scripts without any setup or compilation step.

Rust 1,506 47 Updated Aug 16, 2025

Boa is an embeddable Javascript engine written in Rust.

Rust 6,055 465 Updated Oct 25, 2025
Rust 6,211 232 Updated Oct 7, 2025

A fancy diagnostics & error reporting crate

Rust 2,053 91 Updated Jun 10, 2025

Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

Rust 2,341 133 Updated Sep 29, 2025

A fast, powerful type checker designed for Ruby

Ruby 3,734 574 Updated Oct 25, 2025

A small C compiler

C 10,618 976 Updated Oct 30, 2023

Syntactic sugar for monad composition in Scala

Scala 279 16 Updated Aug 12, 2024

⭐️ A friendly language for building type-safe, scalable systems!

Rust 20,526 879 Updated Oct 24, 2025

Zero overhead tracing garbage collection for rust (WIP)

Rust 50 1 Updated Jun 30, 2024

Contracts for Ruby.

Ruby 1,454 82 Updated Sep 1, 2025

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Rust 275 36 Updated Feb 12, 2022

An optional type system for Clojure

Clojure 561 8 Updated Oct 25, 2025

a model of MIR and the Rust type/trait system

Rust 315 40 Updated Oct 24, 2025

A Rust compiler front-end for IDEs

Rust 15,599 1,851 Updated Oct 25, 2025

📦 CMake's missing package manager. A small CMake script for setup-free, cross-platform, reproducible dependency management.

CMake 3,727 208 Updated May 18, 2025

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

CMake 5,097 458 Updated Mar 12, 2025

Common Lisp Extension for VSCode

TypeScript 242 26 Updated Oct 11, 2025

Cargo subcommand to provide various options useful for testing and continuous integration.

Rust 770 37 Updated Oct 18, 2025

A data structure to efficiently intern, cache and restore strings.

Rust 203 37 Updated Aug 15, 2025

OCaml<->Rust FFI with an emphasis on safety.

Rust 147 23 Updated May 27, 2025

A purely functional programming language with first class types

Idris 2,757 395 Updated Oct 24, 2025

C# as you know it but with Go-inspired tooling (small, selfcontained, and native executables)

C# 3,847 112 Updated Sep 2, 2025

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

Rust 484 32 Updated May 23, 2025