- c(x, w) = 0
- https://linktr.ee/alexcj96
Highlights
- Pro
-
-
-
miden-vm Public
Forked from 0xPolygonMiden/miden-vmSTARK-based virtual machine
Rust MIT License UpdatedNov 19, 2024 -
r1cs-std Public
Forked from arkworks-rs/r1cs-stdR1CS constraints for bits, fields, and elliptic curves
Rust Apache License 2.0 UpdatedSep 10, 2024 -
lsp-ai Public
Forked from SilasMarvin/lsp-aiLSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.
Rust MIT License UpdatedSep 5, 2024 -
ebpf-for-windows Public
Forked from microsoft/ebpf-for-windowseBPF implementation that runs on top of Windows
C MIT License UpdatedAug 31, 2024 -
zirgen Public
Forked from risc0/zirgenZirgen compiler and RISC Zero circuits
C++ Apache License 2.0 UpdatedAug 30, 2024 -
algebra Public
Forked from arkworks-rs/algebraLibraries for finite field, elliptic curve, and polynomial arithmetic
Rust Apache License 2.0 UpdatedAug 27, 2024 -
-
bls12-381 Public
Forked from AntelopeIO/bls12-381A high performance C++ BLS library
C++ MIT License UpdatedAug 21, 2024 -
glasgow Public
Forked from nolanderc/glasgowLanguage Server for WGSL (WebGPU Shading Language)
Rust MIT License UpdatedAug 20, 2024 -
miden-crypto Public
Forked from 0xPolygonMiden/cryptoCryptographic primitives used in Polygon Miden rollup
Rust MIT License UpdatedAug 19, 2024 -
winterfell Public
Forked from facebook/winterfellA STARK prover and verifier for arbitrary computations
Rust MIT License UpdatedAug 19, 2024 -
-
-
clash-verge-rev Public
Forked from clash-verge-rev/clash-verge-revContinuation of Clash Verge - A Clash Meta GUI based on Tauri (Windows, MacOS, Linux)
-
remix Public
Forked from remix-run/remixBuild Better Websites. Create modern, resilient user experiences with web fundamentals.
TypeScript MIT License UpdatedJun 28, 2024 -
memos Public
Forked from usememos/memosAn open source, lightweight note-taking service. Easily capture and share your great thoughts.
Go MIT License UpdatedJun 26, 2024 -
jumpserver Public
Forked from jumpserver/jumpserverJumpServer 是广受欢迎的开源堡垒机,是符合 4A 规范的专业运维安全审计系统。
Python GNU General Public License v3.0 UpdatedJun 20, 2024 -
LLMs-from-scratch Public
Forked from rasbt/LLMs-from-scratchImplementing a ChatGPT-like LLM in PyTorch from scratch, step by step
Jupyter Notebook Other UpdatedJun 19, 2024 -
maud Public
Forked from lambda-fairy/maud📝 Compile-time HTML templates for Rust
Rust Apache License 2.0 UpdatedJun 16, 2024 -
obs-studio Public
Forked from obsproject/obs-studioOBS Studio - Free and open source software for live streaming and screen recording
C GNU General Public License v2.0 UpdatedJun 16, 2024 -
onnxruntime Public
Forked from microsoft/onnxruntimeONNX Runtime: cross-platform, high performance ML inferencing and training accelerator
C++ MIT License UpdatedJun 14, 2024 -
cairo_native Public
Forked from lambdaclass/cairo_nativeA compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
Rust Apache License 2.0 UpdatedJun 12, 2024 -
evm_mlir Public
Forked from malik672/evm_mlirAn EVM written with MLIR
-
-
librustzcash Public
Forked from zcash/librustzcashRust-language assets for Zcash
Rust Other UpdatedJun 5, 2024 -
lensm Public
Forked from loov/lensmGo assembly and source viewer
Go MIT License UpdatedJun 4, 2024 -
zmq.rs Public
Forked from zeromq/zmq.rsA native implementation of ØMQ in Rust
Rust MIT License UpdatedJun 3, 2024 -
markdown-it Public
Forked from markdown-it/markdown-itMarkdown parser, done right. 100% CommonMark support, extensions, syntax plugins & high speed