Skip to content
View tizoc's full-sized avatar

Organizations

@coworkingmvd @Shen-Language @MinaProtocol

Block or report tizoc

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
Racket 36 3 Updated Aug 16, 2024

Low latency inter-thread communication library in Rust inspired by the LMAX Disruptor.

Rust 625 18 Updated Sep 13, 2024

Run your GitHub Actions locally 🚀

Go 53,881 1,342 Updated Sep 13, 2024

Desugaring scala `for` without implicit `withFilter`s

Scala 706 32 Updated May 7, 2024

Save $$$ and make GitHub Actions go brrr with 3rd-party runners ⚡🤖

137 7 Updated Aug 9, 2024

An overview of property-based testing functionality

52 3 Updated May 22, 2024

A PBT framework

OCaml 7 Updated May 17, 2024

Blazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for Rust, .NET, Java, Python, Lua

Rust 2,878 231 Updated Sep 10, 2024

ergonomic and precise error handling built atop type-level set arithmetic

Rust 193 3 Updated Apr 7, 2024

bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.

C 2,227 93 Updated Sep 11, 2024

Software Transactional Memory for OCaml

OCaml 105 10 Updated Sep 11, 2024

Easy TOC creation for GitHub README.md

Shell 3,218 2,750 Updated Aug 4, 2024

File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/

OCaml 222 20 Updated Aug 23, 2024

A fancy diagnostics library that allows your compilers to exit with grace

OCaml 72 2 Updated Jun 7, 2024

Try to use model checker with libp2p

Rust 1 Updated Nov 12, 2023

A fun little TUI framework for OCaml

OCaml 325 26 Updated Apr 22, 2024

This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.

Rust 9 5 Updated Dec 15, 2023

Monitor Eio programs

OCaml 78 6 Updated Feb 27, 2024

Mina Rust Node

Rust 69 14 Updated Sep 13, 2024

A curated list of zero-knowledge folding schemes

265 30 Updated Aug 6, 2024

A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means

Java 1,972 226 Updated Dec 19, 2023

Incremental garbage collection from safe Rust

Rust 493 42 Updated Sep 9, 2024

An OCaml mutation tester

OCaml 61 3 Updated Oct 8, 2023

Fast Text Classification with Compressors dictionary

Python 146 10 Updated Aug 28, 2023

Archives of GoPro Update Firmware

HTML 5 Updated Jan 25, 2017

Lock-free data structures for multicore OCaml

OCaml 192 30 Updated Sep 10, 2024

Nova: High-speed recursive arguments from folding schemes

Rust 694 182 Updated Sep 6, 2024

Common interface for tracing/instrumentation libraries in OCaml

OCaml 21 6 Updated Sep 10, 2024

The simplest, fastest repository for training/finetuning medium-sized GPTs.

Python 36,189 5,653 Updated Aug 19, 2024
Next