Giters
Paul deGrandis (ohpauleez)

ohpauleez

Geek Repo

211

followers

39

following

763

stars

Location:New Hampshire

Home Page:http://www.pauldee.org

Github PK Tool:Github PK Tool

Organizations
clojuredocs
pedestal
shoreleave

Paul deGrandis's starred repositories

pingora

A library for building fast, reliable and evolvable network services.

Language:RustLicense:Apache-2.0Stargazers:20534Issues:170Issues:173

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

Language:CLicense:Apache-2.0Stargazers:19974Issues:557Issues:1884

re2

RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.

Language:C++License:BSD-3-ClauseStargazers:8805Issues:238Issues:406

ZLUDA

CUDA on AMD GPUs

Language:RustLicense:Apache-2.0Stargazers:8485Issues:120Issues:155

highway

Performance-portable, length-agnostic SIMD with runtime dispatch

Language:C++License:Apache-2.0Stargazers:4014Issues:47Issues:373

chumsky

Write expressive, high-performance parsers with ease.

Language:RustLicense:MITStargazers:3452Issues:26Issues:260

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Language:RustLicense:Apache-2.0Stargazers:2242Issues:20Issues:295

flix

The Flix Programming Language

Language:ScalaLicense:NOASSERTIONStargazers:2107Issues:24Issues:3337

salsa

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Language:RustLicense:Apache-2.0Stargazers:2055Issues:35Issues:180

StringZilla

Up to 10x faster strings for C, C++, Python, Rust, and Swift, leveraging SWAR and SIMD on Arm Neon and x86 AVX2 & AVX-512-capable chips to accelerate search, sort, edit distances, alignment scores, etc 🦖

Language:C++License:Apache-2.0Stargazers:1920Issues:20Issues:58

miette

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

Language:RustLicense:Apache-2.0Stargazers:1876Issues:15Issues:202

may

rust stackful coroutine library

Language:RustLicense:Apache-2.0Stargazers:1860Issues:43Issues:93

re2j

linear time regular expression matching in Java

Language:JavaLicense:NOASSERTIONStargazers:1167Issues:52Issues:51

num

A collection of numeric types and traits for Rust.

Language:RustLicense:Apache-2.0Stargazers:1016Issues:21Issues:202

uom

Units of measurement -- type-safe zero-cost dimensional analysis

Language:RustLicense:Apache-2.0Stargazers:988Issues:9Issues:260

timefold-solver

The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

Language:JavaLicense:Apache-2.0Stargazers:839Issues:28Issues:231

SimSIMD

Up to 200x Faster Inner Products and Vector Similarity — for Python, JavaScript, Rust, C, and Swift, supporting f64, f32, f16 real & complex, i8, and binary vectors using SIMD for both x86 AVX2 & AVX-512 and Arm NEON & SVE 📐

Language:CLicense:Apache-2.0Stargazers:822Issues:14Issues:54

rowan

Language:RustLicense:Apache-2.0Stargazers:681Issues:22Issues:43

milliForth

A FORTH in 340 bytes — the smallest real programming language ever as of yet.

Language:ForthLicense:MITStargazers:459Issues:7Issues:12

ascent

logic programming in Rust

Language:RustLicense:MITStargazers:379Issues:7Issues:21

wizard-engine

Research WebAssembly Engine

Language:WebAssemblyStargazers:352Issues:9Issues:11

qcell

Statically-checked alternatives to RefCell and RwLock

Language:RustLicense:Apache-2.0Stargazers:351Issues:5Issues:27

fret

A framework for the elicitation, specification, formalization and understanding of requirements.

Language:JavaScriptLicense:NOASSERTIONStargazers:273Issues:22Issues:32

rxv64

xv6 OS

Language:RustLicense:NOASSERTIONStargazers:221Issues:9Issues:0

clock-bound

Used to generate and compare bounded timestamps.

Language:RustStargazers:198Issues:14Issues:2

slate-language

The Slate programming language

Language:C++License:MITStargazers:145Issues:19Issues:2

sprite-lang

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

Language:HaskellLicense:BSD-3-ClauseStargazers:135Issues:9Issues:5

samsara

a reference-counting cycle collection library in rust

Language:RustStargazers:71Issues:4Issues:4

dsolve

DSOLVE

Language:OCamlLicense:NOASSERTIONStargazers:8Issues:6Issues:1

branchless

Go branchless helper functions for ints

Language:GoLicense:MITStargazers:3Issues:2Issues:0