Giters
Francesco Forcher (f-forcher)

f-forcher

Geek Repo

5

followers

31

following

145

stars

Company:ETH Zürich

Location: Zürich, Switzerland

Home Page:forcher.dev

Github PK Tool:Github PK Tool

Francesco Forcher's starred repositories

structured-gen-rust

A proof-of-concept Rust implementation of the algorithm from "Efficient Guided Generation for LLMs" paper

Language:RustLicense:MITStargazers:1Issues:0Issues:0

criterion.rs

Statistics-driven benchmarking library for Rust

Language:RustLicense:Apache-2.0Stargazers:4327Issues:0Issues:0

lifecycler

Bevy Game Jam #5 submission. Terminal aquarium.

Language:RustLicense:MITStargazers:133Issues:0Issues:0

setup-rust-toolchain

Setup a specific Rust toolchain with extra features like problem matchers

Language:RustLicense:MITStargazers:150Issues:0Issues:0

raft-rs

An understandable, fast and scalable Raft implementation

Language:RustLicense:MITStargazers:65Issues:0Issues:0

tracing

Application level tracing for Rust.

Language:RustLicense:MITStargazers:5226Issues:0Issues:0

awesome-runners

A curated list of awesome self-hosted GitHub Action runners in a large comparison matrix

Language:SCSSLicense:Apache-2.0Stargazers:697Issues:0Issues:0

regex

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

Language:RustLicense:Apache-2.0Stargazers:3429Issues:0Issues:0

regex-utils

fancy regex tooling

Language:RustStargazers:7Issues:0Issues:0

cifar10-airbench

94% on CIFAR-10 in 3.29 seconds 💨 96% in 35 seconds

Language:PythonLicense:MITStargazers:119Issues:0Issues:0

algorithmic-efficiency

MLCommons Algorithmic Efficiency is a benchmark and competition measuring neural network training speedups due to algorithmic improvements in both training algorithms and models.

Language:PythonLicense:Apache-2.0Stargazers:319Issues:0Issues:0

chumsky

Write expressive, high-performance parsers with ease.

Language:RustLicense:MITStargazers:3466Issues:0Issues:0

winnow

Making parsing a breeze

Language:RustLicense:NOASSERTIONStargazers:493Issues:0Issues:0

compiler-tools

A proc-macro for deriving powerful and fast tokenizers with compile-time regex

Language:RustStargazers:10Issues:0Issues:0

rebar

A biased barometer for gauging the relative speed of some regex engines on a curated set of tasks.

Language:PythonLicense:UnlicenseStargazers:218Issues:0Issues:0

release-plz

Publish Rust crates from CI with a Release PR.

Language:RustLicense:Apache-2.0Stargazers:743Issues:0Issues:0

tectonic

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

Language:CLicense:NOASSERTIONStargazers:3877Issues:0Issues:0

disruptor-rs

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

Language:RustLicense:MITStargazers:604Issues:0Issues:0

quickwit

Cloud-native search engine for observability. An open-source alternative to Datadog, Elasticsearch, Loki, and Tempo.

Language:RustLicense:NOASSERTIONStargazers:7449Issues:0Issues:0

outlines

Structured Text Generation

Language:PythonLicense:Apache-2.0Stargazers:7463Issues:0Issues:0

r-nn

Tensor library with autograd using only Rust's standard library

Language:RustLicense:Apache-2.0Stargazers:61Issues:0Issues:0

tfhe-rs

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

Language:RustLicense:NOASSERTIONStargazers:858Issues:0Issues:0

gruvbox

Retro groove color scheme for Vim

Language:Vim ScriptStargazers:13502Issues:0Issues:0

fhe.rs

Fully Homomorphic Encryption library in Rust

Language:RustLicense:MITStargazers:186Issues:0Issues:0

mathlib4

The math library of Lean 4

Language:LeanLicense:Apache-2.0Stargazers:1242Issues:0Issues:0

toggleterm.nvim

A neovim lua plugin to help easily manage multiple terminal windows

Language:LuaLicense:GPL-3.0Stargazers:4055Issues:0Issues:0

loom

Concurrency permutation testing tool for Rust.

Language:RustLicense:MITStargazers:2054Issues:0Issues:0

shuttle

Shuttle is a library for testing concurrent Rust code

Language:RustLicense:Apache-2.0Stargazers:627Issues:0Issues:0

restate

Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.

Language:RustLicense:NOASSERTIONStargazers:1351Issues:0Issues:0

TR-100

TR-100 Machine Report

Language:ShellLicense:BSD-3-ClauseStargazers:278Issues:0Issues:0