Dušan Gvozdenović's repositories
dotfiles
👨💻 Configuration files for my softwares. Use with caution. Works as expected on Arch
Language:ShellMIT000
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
Language:HaskellBSD-3-Clause000
graal
GraalVM: Run Programs Faster Anywhere :rocket:
Language:JavaNOASSERTION000
guile-commonmark
Implementation of CommonMark for Guile
Language:SchemeLGPL-3.0000
Language:RubyBSD-2-Clause000
interaktivno_dokazivanje_teorema_2023
Materijali za radionicu interaktivnog dokazivanje teorema @ IS Petnica
Language:LeanMIT000
lalr-scm
An Efficient LALR(1) Parser Generator for Scheme
Language:Scheme000
plzoo
Programming Languages Zoo
Language:OCamlMIT000