Skip to content
View Autoparallel's full-sized avatar
🥨
webproving
🥨
webproving

Block or report Autoparallel

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

A collection of optimizers for MLX

Python 15 Updated Nov 11, 2024

A post-modern modal text editor.

Rust 33,712 2,506 Updated Nov 11, 2024

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Rust 16,414 380 Updated Nov 12, 2024

A tui-based PDF viewer

Rust 680 10 Updated Nov 3, 2024

Making learning sh*t less annoying

Rust 10 Updated Nov 12, 2024

a reference on testing and constraining circom

Circom 16 Updated Oct 2, 2024

JavaScript Implementation of a Multi-Factor Key Derivation Function (MFKDF)

JavaScript 30 8 Updated Feb 20, 2024

KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.

C++ 21,306 1,473 Updated Nov 10, 2024

WIP library for COSMIC applications

Rust 460 45 Updated Nov 11, 2024

Next generation Cosmic desktop environment

Just 3,132 84 Updated Oct 31, 2024

A textbook centered around teaching mathematics to physicists and chemists

TeX 12 3 Updated Feb 10, 2022

A toolkit for polynomial IOPs (PIOPs)

Rust 471 184 Updated Nov 11, 2024

topological arc/dc rlc circuits

TeX 2 Updated May 16, 2024

CAN YOU HEAR IT, CAN YOU FEEEEEEL IT

Python 15 Updated May 19, 2024

The best resource you will ever find for getting started with Obsidian, probably

75 11 Updated Aug 11, 2024

The Pluto Organization

2 Updated Oct 11, 2024

Cryptography Educational Foundations

Rust 187 23 Updated Oct 28, 2024

A zero-knowledge Lean4 compiler and kernel

Lean 121 9 Updated Nov 7, 2024

We make thing go beep beep

Rust 3 Updated Mar 13, 2024

Flare is a CLI tool for interacting with Solana.

Rust 26 1 Updated Aug 15, 2024

Smart contracts of the DFMM protocol

Rust 19 9 Updated Apr 30, 2024

An open simulation for Uniswap V3 contracts

Rust 35 11 Updated Oct 17, 2024

Mythic

Rust 21 6 Updated Oct 15, 2024

Rust library for quantitative finance.

Rust 1,135 131 Updated Nov 10, 2024

Rust implementation of the Ethereum Virtual Machine.

Rust 1,648 555 Updated Nov 7, 2024

baby, it is plonk!

Python 5 Updated Sep 13, 2023

Smart contract specification language

Haskell 219 37 Updated Nov 4, 2024

A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.

Rust 589 79 Updated Oct 20, 2024

ring buffer in solidity

Solidity 10 Updated Aug 25, 2023
Next