Avi Weinstock (@aweinstock314)
github

aweinstock314

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    399
  • Global Rank 70,379 (Top 3 %)
  • Followers 76
  • Registered about 12 years ago
  • Most used languages
    Rust
         70.0 %
    Python
         15.0 %
    Coq     5.0 %
    C
         5.0 %
    Scheme
         5.0 %

Top repositories

1

rust-clipboard

System Clipboard interfacing library in Rust
Rust
359
star
2

aweinstock-ctf-writeups

Capture The Flag writeups
Python
9
star
3

libgarble-rust

Rust
4
star
4

wgpu-tilemap

Rust
3
star
5

system-f-interpreter

Rust
2
star
6

prefetch

Rust
2
star
7

rustcgi-directory-server

Rust
2
star
8

wasm-snake

Rust
2
star
9

clemency-asm

Python
2
star
10

audio-synthesis-shader

Rust
1
star
11

coq-stuff

Coq
1
star
12

kingr4_weinsa_distributedsystems_project2

Rust
1
star
13

cyth

Python-with-annotations to Cython converter
Python
1
star
14

ropship-inspired-lang

Rust
1
star
15

lisp-stuff

Collection of small-ish lisp programs and fragments
Scheme
1
star
16

strukt

Rust
1
star
17

power

Proof of Work Daemon
Rust
1
star
18

cargo-jvm-backend

Rust
1
star
19

python-fortran-demo

Demonstration of calling Fortran from Python
C
1
star
20

procdump

Rust
1
star