MaksymilianDemitraszek
Software Engineer at @software-mansion. Computer Science MSc student at Utrecht University.
Software MansionUtrecht/Cracow
Pinned Repositories
uu-mpsv-gcl-verifier
GCL verification tool based on predicate transformers
starknet-foundry
Blazing fast toolkit for developing Starknet contracts.
accelerate
Embedded language for high-performance array computations
accelerate-llvm
LLVM backend for Accelerate
cairo-ls
Cairo Language Server
gohare
Golang pub-sub framework, using RabbitMQ
necklace
Programming language
cairo-coverage
Code coverage tool for cairo
cairo-profiler
Profiler for Cairo programming language & Starknet
protostar
Protostar is a toolchain for developing and testing Starknet contracts
MaksymilianDemitraszek's Repositories
MaksymilianDemitraszek/cairo-ls
Cairo Language Server
MaksymilianDemitraszek/cleopatra_cairo
Cleopatra Cairo is a Rust implementation of the Cairo VM. Cairo is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
MaksymilianDemitraszek/gohare
Golang pub-sub framework, using RabbitMQ
MaksymilianDemitraszek/accelerate
Embedded language for high-performance array computations
MaksymilianDemitraszek/accelerate-llvm
LLVM backend for Accelerate
MaksymilianDemitraszek/Advent-of-Code-2021
My dirty solutions to Advent of Code 21 in Haskell
MaksymilianDemitraszek/Attention-tracker
MaksymilianDemitraszek/BeaconPaymenBackend
HackYeah Visa IoT backend for beacon payments
MaksymilianDemitraszek/build-relengapi
Your Interface to Release Engineering Automation -
MaksymilianDemitraszek/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
MaksymilianDemitraszek/City-Sightseeing-Bot-Backend
Made for Rzethon 2018
MaksymilianDemitraszek/Decrater
MAP IT project
MaksymilianDemitraszek/hackIDE
hackIDE is an online code editor, compiler and interpreter based on Django, powered by HackerEarth API! Go, hack it!
MaksymilianDemitraszek/linear-accelerate
Instances to mix Linear with Accelerate
MaksymilianDemitraszek/pymerkle
Merkle-tree cryptography in Python
MaksymilianDemitraszek/Sentiment-analysis
MaksymilianDemitraszek/simple-flask-api
MaksymilianDemitraszek/software-testing-project
MaksymilianDemitraszek/starknet-ecosystem.com
StarkNet L2 Ecosystem Dashboard
MaksymilianDemitraszek/starknet_in_rust
A Rust implementation of StarkNet
MaksymilianDemitraszek/tabbycat
Debating tabulation software for parliamentary formats