-
movim Public
Forked from movim/movimDivya's Fork of Movim - Decentralized social platform
PHP GNU Affero General Public License v3.0 UpdatedOct 11, 2026 -
emacs Public
Forked from emacs-mirror/emacsMirror of GNU Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedSep 4, 2026 -
openvm Public
Forked from openvm-org/openvmDivya's Fork of OpenVM: A performant and modular zkVM framework built for customization and extensibility.
Rust Apache License 2.0 UpdatedFeb 12, 2026 -
whir-p3 Public
Forked from tcoratger/whir-p3Divya's Fork of WHIR-P3
Rust Apache License 2.0 UpdatedOct 18, 2025 -
-
leanSpec Public
Forked from leanEthereum/leanSpecDivya's fork of Specification for Lean Ethereum
Python MIT License UpdatedSep 8, 2025 -
echidna Public
Forked from crytic/echidnaDivya's Fork of Echidna: Ethereum smart contract fuzzer
Haskell GNU Affero General Public License v3.0 UpdatedAug 20, 2025 -
citrea Public
Forked from chainwayxyz/citreaDivya's fork of Citrea, Bitcoin's First ZK Rollup 🍊🍋
Rust GNU General Public License v3.0 UpdatedJul 31, 2025 -
solana-sdk Public
Forked from anza-xyz/solana-sdkRust SDK for the Solana blockchain, used by on-chain program developers and the Agave validator
Rust Apache License 2.0 UpdatedJul 28, 2025 -
aurum Public
An efficient fuzzer for Solidity/EVM, in pure Rust.
Solidity GNU General Public License v3.0 UpdatedJul 19, 2025 -
l2-settlements-contracts Public
Forked from t3rn/l2-settlements-contractsJavaScript Apache License 2.0 UpdatedJun 6, 2025 -
-
protocol-monorepo Public
Forked from superfluid-org/protocol-monorepoDivya's fork of Superfluid Protocol Monorepo: the specification, implementations, peripherals and development kits.
TypeScript Other UpdatedApr 30, 2025 -
dotfiles Public
Personal dotfiles for GNU/Linux (Mirror)
-
agave Public
Forked from anza-xyz/agaveDivya's Fork of Agave. Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Rust Apache License 2.0 UpdatedApr 11, 2025 -
divya-lambda Public
Divya's Guix Channel for packages that might eventually make it upstream, or not. (Mirrored from https://codeberg.org/divyaranjan/divya-lambda)
-
yul-dsl-monorepo Public
Forked from yolc-dev/yul-dsl-monorepoDivya's fork of monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
Haskell Other UpdatedApr 2, 2025 -
sym-lambda Public
Symbolic mathematics library in pure Haskell. (Mirror)
Haskell UpdatedMar 21, 2025 -
-
servo Public
Forked from servo/servoDivya's Fork of Servo
Rust Mozilla Public License 2.0 UpdatedMar 2, 2025 -
tensorzero Public
Forked from tensorzero/tensorzeroDivya's Fork of TensorZero
Rust Apache License 2.0 UpdatedMar 1, 2025 -
torrents-csv.el Public
Emacs frontend to torrents-csv (Mirrored from https://codeberg.org/divyaranjan/torrents-csv.el)
-
gccrs Public
Forked from Rust-GCC/gccrsDivya's fork for GCC Front-End for Rust
C++ GNU General Public License v2.0 UpdatedFeb 19, 2025 -
mupdf-rs Public
Forked from messense/mupdf-rsDivya's fork for Rust bindings to mupdf
Rust GNU Affero General Public License v3.0 UpdatedFeb 13, 2025 -
hdr2png Public
CLI tool to encode Radiance HDR into RGBM/RGBA PNGs for asset creation. Written purely in Rust. (Mirrors: https://codeberg.org/divyaranjan/hdr2png)
Rust GNU Affero General Public License v3.0 UpdatedJan 26, 2025 -
blue-recorder Public
Forked from xlmnxp/blue-recorderDivya's Fork of Simple Screen Recorder written in Rust based on Green Recorder
Rust Other UpdatedDec 11, 2024 -
advent-of-code-24 Public
Submissions for Advent of Code, 2024 (Mirroring from Codeberg)
Haskell UpdatedDec 4, 2024 -
rustlings Public
Forked from rust-lang/rustlingsDivya's Fork of Rustlings. Small exercises to get you used to reading and writing Rust code!
Rust MIT License UpdatedSep 2, 2024 -
cosdata Public
Forked from cosdata/cosdataDivya's Fork of Cosdata
Rust Apache License 2.0 UpdatedSep 1, 2024 -
simplex-chat Public
Forked from simplex-chat/simplex-chatDivya's Fork of SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Haskell GNU Affero General Public License v3.0 UpdatedAug 25, 2024