bakinovsky-m

Pinned Repositories

agda-prikoly
Language:Agda0 2 00
arend-lib
Language:Java00
arpspoof
Language:C++0 1 00
buildJetsonTX2Kernel
Build the NVIDIA Jetson TX2 Kernel on the device itself
Language:Shell0 1 00
debug_parser
Heuristic parser for the output of `std::fmt::Debug` in Rust
Language:Rust0 0 00
flatbuffers
FlatBuffers: Memory Efficient Serialization Library
Language:C++0 1 00
hiredis
Minimalistic C client for Redis >= 1.2
Language:C0 1 00
idris_prikoly
Language:Idris0 2 00
lean4
Lean 4 programming language and theorem prover
Language:Lean0 1 00
nix-coq-zip
0 1 00

bakinovsky-m's Repositories

bakinovsky-m/agda-prikoly
Language:Agda0 2 00
bakinovsky-m/arend-lib
Language:Java00
bakinovsky-m/arpspoof
Language:C++0 1 00
bakinovsky-m/buildJetsonTX2Kernel
Build the NVIDIA Jetson TX2 Kernel on the device itself
Language:Shell0 1 00
bakinovsky-m/debug_parser
Heuristic parser for the output of `std::fmt::Debug` in Rust
Language:Rust0 0 00
bakinovsky-m/flatbuffers
FlatBuffers: Memory Efficient Serialization Library
Language:C++0 1 00
bakinovsky-m/hiredis
Minimalistic C client for Redis >= 1.2
Language:C0 1 00
bakinovsky-m/idris_prikoly
Language:Idris0 2 00
bakinovsky-m/lean4
Lean 4 programming language and theorem prover
Language:Lean0 1 00
bakinovsky-m/nix-coq-zip
0 1 00
bakinovsky-m/pixelplex_test
Language:Rust0 2 00
bakinovsky-m/pybezier
Language:Python0 1 01
bakinovsky-m/s-expr-hask
Language:Haskell0 2 00