Pinned Repositories
amm
arecibo
An advanced fork of Nova
bitcoin-go
A simplified Bitcoin implementation.
blog
cargo
The Rust package manager
da-server
dotfiles
Configuration automation
mini-os
sp1-recursive
fjchen7's Repositories
fjchen7/dotfiles
Configuration automation
fjchen7/mini-os
fjchen7/da-server
fjchen7/sp1-recursive
fjchen7/amm
fjchen7/arecibo
An advanced fork of Nova
fjchen7/blog
fjchen7/cargo
The Rust package manager
fjchen7/chainlink-hackathon-2023
https://chain.link/hackathon
fjchen7/circom-ecdsa-batch
Batch ECDSA in circom
fjchen7/ckb-docbot
fjchen7/ckb-llama-index-source
fjchen7/ckbj
fjchen7/cmp-luasnip-choice
Luasnip choice node completion source for nvim-cmp
fjchen7/cmp_luasnip
luasnip completion source for nvim-cmp
fjchen7/effective-rust-cn
Effective Rust 中文版
fjchen7/era-sync_vm
Circuit Implementation of zkVM for zkSync Era
fjchen7/era-zk_evm_abstractions
fjchen7/flit.nvim
Enhanced f/t motions for Leap
fjchen7/lazygit.nvim
Plugin for calling lazygit from within neovim.
fjchen7/molecule-java
fjchen7/nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
fjchen7/Nova
Nova: High-speed recursive arguments from folding schemes
fjchen7/nova-bench
A collection of comparison-benchmarks for Nova & related Proving systems
fjchen7/Nova-Scotia
Middleware to compile Circom circuits to Nova prover
fjchen7/nvim-cmp
A completion plugin for neovim coded in Lua.
fjchen7/rust-blog
Educational blog posts for Rust beginners
fjchen7/rust-tools.nvim
Tools for better development in rust using neovim's builtin lsp
fjchen7/zklink-oracle
fjchen7/zklogin-circuit
Circuit repo for zklogins