Skip to content
View CYBAI's full-sized avatar
🇹🇼
λf. (λx. f (x x)) (λx. f (x x))
🇹🇼
λf. (λx. f (x x)) (λx. f (x x))

Organizations

@servo @racket-tw

Block or report CYBAI

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

🕳 bore is a simple CLI tool for making tunnels to localhost

Rust 9,229 387 Updated Jan 10, 2025

Lightpanda: the headless browser designed for AI and automation

Zig 5,250 111 Updated Jan 31, 2025

Print React components in the browser

TypeScript 2,218 225 Updated Jan 27, 2025

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

Python 37,729 4,100 Updated Feb 1, 2025

Color in Rust.

Rust 69 7 Updated Jan 20, 2025

treefmt nix configuration

Nix 315 92 Updated Jan 28, 2025

OCaml Language Server Protocol implementation

OCaml 800 124 Updated Feb 2, 2025

Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.

Lua 2,143 70 Updated Dec 14, 2024

A fully-featured PDF library for Rust, WASM-ready

Rust 866 100 Updated Dec 7, 2024

Lock-free data structures for multicore OCaml

OCaml 236 31 Updated Jan 8, 2025

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Zig 25,793 637 Updated Feb 2, 2025

Haskell implementation of the KDL Document Language

Haskell 21 2 Updated Oct 12, 2022

The WASM library for ImageMagick

TypeScript 628 40 Updated Jan 31, 2025

Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.

Rust 9,054 310 Updated Feb 1, 2025

A Lean 4 formalization of partial combinatory algebras.

Lean 13 Updated Jan 6, 2025

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Haskell 598 35 Updated Jan 27, 2025

framework for composable networking services

Rust 2,150 110 Updated Jan 31, 2025
Vim Script 43 1 Updated Nov 6, 2024

🗻 LSM-based embeddable key-value storage engine written in safe Rust

Rust 794 33 Updated Feb 1, 2025

A minimal development of SSA theory

Lean 108 12 Updated Feb 1, 2025

An unofficial Google Nearby Share/Quick Share app for macOS

Swift 4,719 164 Updated Dec 3, 2024

Writing eBPF programs with Elixir!

C 260 10 Updated Jan 16, 2025

Compiler optimizer for arbitrary control flow based on equality saturation

Rust 93 2 Updated May 19, 2022

A garden of small programming language implementations 🪴

OCaml 197 5 Updated Jan 30, 2025

Refinement types + dependent types = ❤️

Agda 58 6 Updated Aug 8, 2022

A fast and ergonomic concurrent hashmap for read-heavy workloads.

Rust 641 12 Updated Jan 16, 2025

EGraphs in OCaml

OCaml 65 7 Updated Jan 20, 2024

An awesome list of e-graph resources

125 7 Updated Jan 15, 2025

A from-scratch experimental AOT JS engine, written in JS

JavaScript 3,205 61 Updated Feb 1, 2025

Developing a standard for localizable message strings

242 34 Updated Jan 28, 2025
Next
Showing results