ivan-ristovic
Software developer with too many hobbies. Senior Researcher at Oracle Labs. Teaching Assistant at the Faculty of Mathematics in Belgrade.
Oracle | MATF Belgrade~
Pinned Repositories
BDD
Automated Reasoning course project - Binary Decision Diagrams C++ implementation and paper (in Serbian)
doodLbot
An algorithm-based multiplayer client-server game
dotfiles
My dotfiles including Linux setup and maintenance scripts, patches, Docker images and shell-scripting utilities
games
A collection of games and animations that I have developed
maze-pathfinder
Gimme a maze and I will solve it!
MK-parser
Doing God's work
MSD-mining
Data Mining course project - Million Songs Dataset exploration
papers
A collection of scientific projects done throughout the studies
the-godfather
Feature-rich general-purpose Discord bot written in C# using DSharpPlus
LINVAST
LINVAST is a set of libraries that provide a common language-invariant AST API by abstracting ANTLR parse trees.
ivan-ristovic's Repositories
ivan-ristovic/the-godfather
Feature-rich general-purpose Discord bot written in C# using DSharpPlus
ivan-ristovic/MK-parser
Doing God's work
ivan-ristovic/dotfiles
My dotfiles including Linux setup and maintenance scripts, patches, Docker images and shell-scripting utilities
ivan-ristovic/epicyclez
Numerical Algorithms course project - Drawing image contours using epicycles and DFT
ivan-ristovic/ivan-ristovic.github.io
My personal webpage. Based on the al-folio template.
ivan-ristovic/Spectrum
2D rainbow-puzzle-platformer game
ivan-ristovic/XF.NET
A simple XenForo API wrapper in C#
ivan-ristovic/DiscordBotTemplate
Discord bot template in C# (.NET 6) using DSharpPlus
ivan-ristovic/fcore
A Haskell implementation of the Core functional programming language from SPJ's "Implementing Functional Languages" book
ivan-ristovic/SharpSync
Simple directory synchronization CLI tool written in C#
ivan-ristovic/games
A collection of games and animations that I have developed
ivan-ristovic/papers
A collection of scientific projects done throughout the studies
ivan-ristovic/Automated-Playlist-Generation
Machine Learning course project - song playlist generation using data from Spotify and MSD
ivan-ristovic/i3blocks-contrib
Official repository for community contributed blocklets
ivan-ristovic/ivan-ristovic
Config files for my GitHub profile.
ivan-ristovic/LICC
Language invariant AST abstraction with APIs to create, visualize or compare ASTs
ivan-ristovic/matf
My faculty webpage
ivan-ristovic/mint
Deep Rock Galactic mod loader and integration
ivan-ristovic/MorseSharp
Morse code converter with adjustible sound frequency and wpm
ivan-ristovic/neith
A simple knowledge library query script.
ivan-ristovic/nextcloud-docker
Configuration for self-hosted Nextcloud docker-compose stack
ivan-ristovic/overleaf
A web-based collaborative LaTeX editor (extended CE with changes tracking and LDAP authentication and complete texlive environment)
ivan-ristovic/Packing
A Computational Geometry course paper on the packing problem
ivan-ristovic/Qteroids
Learning Qt - Old game (asteroids ripoff) I made in 2016 for the Software Development course
ivan-ristovic/rubik
Computer Graphics course project
ivan-ristovic/shlib
A simple and extendible bash scripting library
ivan-ristovic/SpaceSharp
Space animation in C#
ivan-ristovic/UBSMC
A Software Verification course project on Unbounded software model checking
ivan-ristovic/UnitSharp
Unit conversion library written in F#
ivan-ristovic/wth
Functional Programming Course project repository