#
Where were you while we were getting high?
- Somewhere but not Here
- lonerapier.xyz
- @lonerapier
Block or Report
Block or report lonerapier
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (6)
Sort Name ascending (A-Z)
Language: Coq
All languages
Assembly
C
C#
C++
CSS
Cairo
Circom
Coq
Cuda
Go
HTML
Handlebars
Haskell
Java
JavaScript
Jupyter Notebook
LLVM
MDX
Metal
Nim
Perl
Python
Rust
SCSS
Sage
Shell
Solidity
TeX
TypeScript
Verilog
Vim Script
WebAssembly
Zig
Nothing to show
Sort by: Most stars
Starred repositories
1
star
written in Coq
Clear filter
Cryptographic Primitive Code Generation by Fiat