cto & general partner at @paradigmxyz. mev, layer 2, proof of stake, zkps. we're hiring engineers internally & for the portfolio: georgios at paradigm dot xyz
- 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
- Go Template
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Io
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Jinja
- Julia
- Jupyter Notebook
- KCL
- Kotlin
- LLVM
- Lean
- LilyPond
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Mermaid
- Metal
- Move
- Mustache
- Nim
- Nix
- Noir
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLSQL
- Perl
- PostScript
- PowerShell
- Python
- R
- RPC
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Scala
- Shell
- Sieve
- Smarty
- Solidity
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TSQL
- TeX
- TypeScript
- VBA
- VHDL
- Verilog
- Vim Script
- Visual Basic
- Vue
- Vyper
- WebAssembly
- Wikitext
- Wolfram Language
- Yul
- ZIL
- Zig
6
results
for source starred repositories
written in SystemVerilog
Clear filter
OpenTitan: Open source silicon root of trust
Official repository of the AWS EC2 FPGA Hardware and Software Development Kit
Zcash FPGA acceleration engine
An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs
Low level arithmetic primitives in RTL
An implementation of "Full accounting for verifiable outsourcing" (CCS17)