takibitakibi-lang
ADDEDTakibi is a research systems language and a Linux-ABI-compatible monolithic kernel designed to shift kernel runtime failures to compile-time errors using refinement types and affine ownership.
Discover quality open-source projects, submit projects anonymously, and claim and edit your own project.
A little curiosity. A world of open source.
THE FIRST COLLECTIONTakibi is a research systems language and a Linux-ABI-compatible monolithic kernel designed to shift kernel runtime failures to compile-time errors using refinement types and affine ownership.
A TypeScript TCP ping utility for testing host reachability and measuring latency with configurable attempts, ports, and timeouts.