corazza
I like: math, functional programming, philosophy, machine learning, ...
Dortmund, Germany // Zagreb, Croatia
Pinned Repositories
game-idris
A 2D platformer in Idris, a dependently-typed purely functional programming language
Graviton
n-body simulator in Python
idris-box2d
Box2D API for Idris
idris-sdl2
SDL2 bindings for my game in Idris
min-cost-flow-minimum-quantities
An evolutionary algorithm for solving the minimum cost network flow with minimum quantities problem
optimize-glass
Optimization of glass shapes (Petnica International project)
snaskell
A simple Haskell-inspired programming language with user defined data types and type checking, templates/generics, simple pattern matching, and recursive functions with optional memoization
stochastic-reward-machines
Code for our AAAI-22 paper Reinforcement Learning with Stochastic Reward Machines
text2task
Describe a task in natural language and see an agent perform it! (Master's thesis)
vision-transformer-quantization
We implemented quantization methods for visual transformers and analyzed tradeoffs between model performance and accuracy. (Visage Technologies internship)
corazza's Repositories
corazza/game-idris
A 2D platformer in Idris, a dependently-typed purely functional programming language
corazza/idris-box2d
Box2D API for Idris
corazza/idris-sdl2
SDL2 bindings for my game in Idris
corazza/Graviton
n-body simulator in Python
corazza/optimize-glass
Optimization of glass shapes (Petnica International project)
corazza/Robot-Evolution
An application that uses genetic algorithms to evolve and optimize virtual walking poly-pedal robots
corazza/stochastic-reward-machines
Code for our AAAI-22 paper Reinforcement Learning with Stochastic Reward Machines
corazza/non-markovian-rl
Solving the problem of non-Markovian reward functions by providing agents access to a finite amount of memory
corazza/pose
Estimating human skeleton actions and poses from video and Kinect data using GCNs (graph convolutional networks)
corazza/min-cost-flow-minimum-quantities
An evolutionary algorithm for solving the minimum cost network flow with minimum quantities problem
corazza/snaskell
A simple Haskell-inspired programming language with user defined data types and type checking, templates/generics, simple pattern matching, and recursive functions with optional memoization
corazza/text2task
Describe a task in natural language and see an agent perform it! (Master's thesis)
corazza/vision-transformer-quantization
We implemented quantization methods for visual transformers and analyzed tradeoffs between model performance and accuracy. (Visage Technologies internship)
corazza/achtung-die-kurve
die kurve
corazza/arukone
RP2 treća zadaća
corazza/backgammon
UI zadaća
corazza/corazza.github.io
Personal homepage
corazza/ctf02
testing cosmwasm-to-quint tool
corazza/deref
RP3 prva zadaća
corazza/EfficientCNN
Application of tensor decompositions in accelerating convolutional neural networks
corazza/egp
Enzyme Genetic Programming in Rust
corazza/gl-idris
OpenGL for Idris fixes
corazza/LM-Steer
Official Code Repository for LM-Steer Paper: "Word Embeddings Are Steers for Language Models"
corazza/maps
RP2 četvrta zadaća
corazza/multiplayer-physics-engine
Syncs Box2D-powered scene states across multiple clients
corazza/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
corazza/teamup
RP2 druga zadaca
corazza/visnjan2019
corazza/wipsync
Automatically sync repo progress across devices to a WIP branch
corazza/wordle
RP2 prva zadaća