alexmikhalevich

Rust, C & C++ , Linux

Pinned Repositories

Algorithms
Language:C++0 0 00
ASU-PCTF
Language:C02
AtomicPerformance
Language:C++00
buildroot
Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.
Language:Makefile0 0 00
Cache-ping-pong
Language:C++1 1 01
osm_print
Code for printing OSM maps
Language:Python1 0 00
PatternsPresentations
1 0 00
petabroad
petabroad project
Language:Rust2 1 00
zephyr
Primary GIT Repository for the Zephyr Project
Language:C1 1 00
linux
Linux kernel source tree
Language:C186k 7.8k 054.8k

alexmikhalevich's Repositories

alexmikhalevich/petabroad
petabroad project
Language:Rust2 1 00
alexmikhalevich/osm_print
Code for printing OSM maps
Language:Python1 0 00
alexmikhalevich/zephyr
Primary GIT Repository for the Zephyr Project
Language:C1 1 00
alexmikhalevich/ASU-PCTF
Language:C02
alexmikhalevich/buildroot
Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.
Language:Makefile0 0 00
alexmikhalevich/cartesi-fhe-demo
Language:C++
alexmikhalevich/godot
Godot Engine – Multi-platform 2D and 3D game engine
Language:C++
alexmikhalevich/grpc-interfaces
Cartesi GRPC Interfaces
Language:Makefile0 0
alexmikhalevich/homebrew-cartesi
Language:Ruby
alexmikhalevich/hypervisor-demo
Language:Dockerfile
alexmikhalevich/hypervisor-sunodo-plugin
Language:TypeScript
alexmikhalevich/kotlin-auth
A token-based auth service made with Spring boot, in Kotlin
alexmikhalevich/libfprint
Library for fingerprint readers
Language:C0 0
alexmikhalevich/Linux
Repository for course in 1c.
Language:Shell
alexmikhalevich/machine-emulator
The off-chain implementation of the Cartesi Machine
Language:Assembly
alexmikhalevich/machine-emulator-defines
Language:C0 0
alexmikhalevich/machine-manager
Cartesi Machine Manager Server repository
alexmikhalevich/mapex
Language:Rust
alexmikhalevich/merkle_proof
Language:Rust
alexmikhalevich/morango-interpreter
Language:Rust1 0
alexmikhalevich/openssl
TLS/SSL and crypto library
Language:C1 0
alexmikhalevich/risc0-benchmark
Language:Python
alexmikhalevich/risc0-merkle-demo
Language:Rust
alexmikhalevich/risc0-merkle-integration
Language:Rust
alexmikhalevich/risc0-verify-steps
Language:Rust
alexmikhalevich/RoadToGoal
Language:Java
alexmikhalevich/server-manager
Rollup Server Manager
Language:C++0 0
alexmikhalevich/sunodo
Sunodo monorepo
alexmikhalevich/TCc-Lunch
alexmikhalevich/test