JLErvin

Josh Ervin's starred repositories

Bend

A massively parallel, high-level programming language

Language:RustApache-2.01395600

coq-of-rust

Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification

Language:CoqAGPL-3.030600

berry

:strawberry: A healthy, byte-sized window manager

Language:CMIT100100

swc

Rust-based platform for the Web

Language:RustApache-2.03015300

uC-OS3

µC/OS-III is a preemptive, highly portable, and scalable real-time kernel. Designed for ease of use on a huge number of CPU architectures.

Language:CApache-2.082700

uC-OS2

µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.

Language:CApache-2.051300

libuv

Cross-platform asynchronous I/O

Language:CMIT2338000

zephyr

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

Language:CApache-2.0979300

hickory-dns

A Rust based DNS client, server, and resolver

Language:RustNOASSERTION364400

request

🏊🏾 Simplified HTTP request client.

Language:JavaScriptApache-2.02567500

actix

Actor framework for Rust.

Language:RustApache-2.0841300

smol

A small and fast async runtime for Rust

Language:RustApache-2.0345200

bun

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Language:ZigNOASSERTION7116200

ripgrep

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Language:RustUnlicense4542500

json

JSON for Modern C++

Language:C++MIT4063400

rust-ants-colony-simulation

An ant colony simulation written in rust

Language:Rust15100

petgraph

Graph data structure library for Rust.

Language:RustApache-2.0269800

typst

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

Language:RustApache-2.02891400

lichess-bot

A bridge between Lichess API and chess engines

Language:PythonAGPL-3.069900

jsdom

A JavaScript implementation of various web standards, for use with Node.js

Language:JavaScriptMIT2004400

mdast

Markdown Abstract Syntax Tree format

100800

gh-ost

GitHub's Online Schema-migration Tool for MySQL

Language:GoMIT1203900

networkx

Network Analysis in Python

Language:PythonNOASSERTION1427800

bitintr

Portable Bitwise Manipulation Intrinsics

Language:RustMIT4200

system.css

A design system for building retro Apple interfaces

Language:CSSMIT229100

typetype

A programming language designed for typescript type generation

Language:TypeScriptMIT41100

type-challenges

Collection of TypeScript type challenges with online judge

Language:TypeScriptMIT4074600

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Language:C++NOASSERTION3228100

swhkd

Sxhkd clone for Wayland (works on TTY and X11 too)

Language:RustBSD-2-Clause64800

julia

The Julia Programming Language

Language:JuliaMIT4467500