8000 waterlens (Waterlens) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View waterlens's full-sized avatar

Highlights

  • Pro

Organizations

@hkust-taco @ZJU-PPL

Block or report waterlens

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

Starred repositories

Showing results

OCaml - Oxidized!

OCaml 393 108 Updated Jul 8, 2025

Pacman-like syntax wrapper for many package managers.

Rust 390 10 Updated Jul 7, 2025
TypeScript 268 24 Updated Jun 14, 2025

Fast CRC32 implementations

C 80 6 Updated Jun 19, 2025

this repository is a read only mirror, the upstream is

C 72 66 Updated Nov 9, 2022

Fully distributed Cards Against Humanity for offline parties

Vue 6 1 Updated Jan 30, 2025

A Typst-friendly static Zettelkästen site generator.

Rust 88 4 Updated Jul 8, 2025

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Typst 695 21 Updated Jun 9, 2025

The MaPLe compiler: efficient and scalable parallel functional programming

Standard ML 384 23 Updated Mar 23, 2025

Non-interleaving multithreaded output queue

Rust 71 2 Updated Jun 6, 2025

A fast branchless stable quicksort / mergesort hybrid that is highly adaptive.

C 712 23 Updated Jul 27, 2024

Very fast, high-quality hash function, discrete-incremental and streamed hashing-capable (non-cryptographic, inline C/C++) 27GB/s + PRNG

C++ 233 8 Updated Apr 25, 2025

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

Typst 1,318 54 Updated Jul 6, 2025

Collection of miscellaneous portable C snippets.

C 717 73 Updated Jan 16, 2024

Painless string scanning.

Rust 55 7 Updated Nov 4, 2024

Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!

Scheme 438 39 Updated Jul 8, 2025
TeX 24 5 Updated Nov 21, 2023

Easy and blazing-fast book searcher, create and search your private library.

TypeScript 6,313 315 Updated Oct 11, 2024

A terrible application setting SV2 Efficiency Mode for inactive Windows apps and user background apps

C# 2,368 86 Updated May 6, 2023

build-once run-anywhere c library

C 19,535 691 Updated May 21, 2025

DeepLang type system based on Ocaml

OCaml 7 1 Updated Apr 2, 2025
C++ 3 Updated Jun 15, 2022

SysY Optimizing Compiler

C++ 2 1 Updated Aug 16, 2022

Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays

Java 355 39 Updated Feb 22, 2025

An awesome language and its compiler.

Rust 33 Updated Jun 12, 2022

Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.

JavaScript 8,794 1,603 Updated Jul 8, 2025

A massively parallel, optimal functional runtime in Rust

Cuda 11,057 423 Updated Nov 21, 2024

A Programming Language Developed for Learning the Knowledge in PL.

JavaScript 14 1 Updated Feb 12, 2022

A JIT assembler for x86/x64 architectures supporting MMX, SSE (1-4), AVX (1-2, 512), FPU, APX, and AVX10.2

C++ 2,142 286 Updated Jul 2, 2025
0