dusan-gvozdenovic

Better known for other work.

Novi Sad, Serbia

Pinned Repositories

dotfiles
👨‍💻 Configuration files for my softwares. Use with caution. Works as expected on Arch
Language:Shell00
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
Language:Haskell00
graal
GraalVM: Run Programs Faster Anywhere :rocket:
Language:Java00
guile-commonmark
Implementation of CommonMark for Guile
Language:Scheme00
homebrew-software
Language:Ruby00
interaktivno_dokazivanje_teorema_2023
Materijali za radionicu interaktivnog dokazivanje teorema @ IS Petnica
Language:Lean00
lalr-scm
An Efficient LALR(1) Parser Generator for Scheme
Language:Scheme00
plzoo
Programming Languages Zoo
Language:OCaml00
2020_Stimer_za_gitaru
An FFT-based instrument tuner for GNU/Linux operating systems.
Language:Vala1 3 00
interaktivno_dokazivanje_teorema_2023
Materijali za radionicu interaktivnog dokazivanje teorema @ IS Petnica
Language:Lean1 5 04

dusan-gvozdenovic/dotfiles
👨‍💻 Configuration files for my softwares. Use with caution. Works as expected on Arch
Language:Shell00
dusan-gvozdenovic/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
Language:Haskell00
dusan-gvozdenovic/graal
GraalVM: Run Programs Faster Anywhere :rocket:
Language:Java00
dusan-gvozdenovic/guile-commonmark
Implementation of CommonMark for Guile
Language:Scheme00
dusan-gvozdenovic/homebrew-software
Language:Ruby00
dusan-gvozdenovic/interaktivno_dokazivanje_teorema_2023
Materijali za radionicu interaktivnog dokazivanje teorema @ IS Petnica
Language:Lean00
dusan-gvozdenovic/lalr-scm
An Efficient LALR(1) Parser Generator for Scheme
Language:Scheme00
dusan-gvozdenovic/plzoo
Programming Languages Zoo
Language:OCaml00