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

Lightpanda: the headless browser designed for AI and automation

Zig 5,130 108 Updated Jan 31, 2025

Print React components in the browser

TypeScript 2,216 225 Updated Jan 27, 2025

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

Python 37,718 4,099 Updated Jan 29, 2025

Color in Rust.

Rust 69 7 Updated Jan 20, 2025

treefmt nix configuration

Nix 313 92 Updated Jan 28, 2025

OCaml Language Server Protocol implementation

OCaml 800 124 Updated Jan 31, 2025

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

Lua 2,144 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,688 634 Updated Jan 31, 2025

Haskell implementation of the KDL Document Language

Haskell 21 2 Updated Oct 12, 2022

The WASM library for ImageMagick

TypeScript 627 40 Updated Jan 31, 2025

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

Rust 9,003 308 Updated Jan 31, 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 Jan 30, 2025

A minimal development of SSA theory

Lean 108 12 Updated Jan 31, 2025

An unofficial Google Nearby Share/Quick Share app for macOS

Swift 4,716 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 94 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 640 12 Updated Jan 16, 2025

EGraphs in OCaml

OCaml 65 7 Updated Jan 20, 2024

An awesome list of e-graph resources

126 7 Updated Jan 15, 2025

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

JavaScript 3,204 61 Updated Jan 31, 2025

Developing a standard for localizable message strings

241 34 Updated Jan 28, 2025

Rust actor framework

Rust 1,608 82 Updated Jan 23, 2025
Next
Showing results