- Thessaloniki, Greece
- https://gakonst.com
- @gakonst
Stars
- All languages
- AsciiDoc
- Assembly
- Batchfile
- BitBake
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- Fennel
- Go
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Io
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- LilyPond
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Mermaid
- Metal
- Move
- Mustache
- Nim
- Nix
- Noir
- OCaml
- Objective-C
- PHP
- PLSQL
- Perl
- PostScript
- PowerShell
- Python
- R
- RPC
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Scala
- Shell
- Smarty
- Solidity
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TSQL
- TeX
- TypeScript
- VBA
- VHDL
- Verilog
- Vim Script
- Visual Basic
- Vue
- Vyper
- WebAssembly
- Wikitext
- Yul
- ZIL
- Zig
hl-archive-node / nanoreth
Forked from paradigmxyz/rethReth-based hyperliquid archive node
Telegram Bot library for CloudFlare Workers
crosschain-alliance / RIP-7755-poc
Forked from base/RRC-7755-pocProof of Concept for RIP-7755
Cloudflare workers preview for every pull requests
Type-Safe, Full-Stack Starter Kit for React Native + Web.
adefossez / demucs
Forked from facebookresearch/demucsCode for the paper Hybrid Spectrogram and Waveform Source Separation
banteg / raycast-extensions
Forked from raycast/extensionsEverything you need to extend Raycast.
cursive-team / zk-summit
Forked from cursive-team/nfc-denverConnect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures
pinkforest / polling
Forked from smol-rs/pollingPortable interface to epoll, kqueue, event ports, and wepoll
0xPolygon / cdk-erigon
Forked from erigontech/erigonEthereum implementation on the efficiency frontier
intel / sgx-pytorch
Forked from pytorch/pytorchTensors and Dynamic neural networks in Python with strong GPU acceleration
dzhulgakov / llama-mistral
Forked from meta-llama/llamaInference code for Mistral and Mixtral hacked up into original Llama implementation
trholding / llama2.c
Forked from karpathy/llama2.cLlama 2 Everywhere (L2E)
RareSkills / vertigo-rs
Forked from JoranHonig/vertigoMutation Testing for Ethereum Smart Contracts, support for Foundry
ipatka / banyan
Forked from cedar-policy/cedarCore implementation of the Cedar language adapted for Ethereum transaction policies
hero78119 / risc0-nova
Forked from risc0/risc0RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
op-rs / op-reth
Forked from paradigmxyz/rethFork of OP-Reth for developing capability to server proofs in FP window
tikv / jemallocator
Forked from gnzlbg/jemallocatorRust allocator using jemalloc as a backend
rs-tml / rstml
Forked from stoically/syn-rsxRust+html (JSX-like) parser for TokenStreams aka rsx
testinprod-io / op-erigon
Forked from protolambda/erigonOptimism implementation on the efficiency frontier
realbigsean / lighthouse
Forked from sigp/lighthouseRust Ethereum 2.0 Client
Divide-By-0 / halo2-secp
Forked from personaelabs/halo2-secphalo2 with secq256k1 curve in the IPA backend for efficient ZK proofs of secp256k1 ECDSA operations
antimatter15 / alpaca.cpp
Forked from ggml-org/llama.cppLocally run an Instruction-Tuned Chat-Style LLM
AsahiLinux / linux
Forked from torvalds/linuxLinux kernel source tree
Veridise / Picus
Forked from chyanju/PicusAutomated verification of uniqueness property for ZKP circuits
zkml-community / awesome-zkml
Forked from worldcoin/awesome-zkmlAggregator for amazing ZKML resources
Build your first app on Optimism!