Maksymilian Demitraszek's Projects
Embedded language for high-performance array computations
LLVM backend for Accelerate
My dirty solutions to Advent of Code 21 in Haskell
HackYeah Visa IoT backend for beacon payments
Your Interface to Release Engineering Automation -
Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo Language Server
Made for Rzethon 2018
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.
MAP IT project
Golang pub-sub framework, using RabbitMQ
hackIDE is an online code editor, compiler and interpreter based on Django, powered by HackerEarth API! Go, hack it!
Instances to mix Linear with Accelerate
Merkle-tree cryptography in Python
StarkNet L2 Ecosystem Dashboard
A Rust implementation of StarkNet
Debating tabulation software for parliamentary formats