Jure Taslak's repositories
AoC2022-lean
Advent of code 2022 in Lean 4
Language:Lean000
Language:Python000
Language:TeX000
cilinder.github.io
My personal webpage
Language:TeX000
enumerion-ts
Emacs major mode for Enumerion based on tree-sitter
Language:Emacs Lisp000
formaltt
Formalization of type theory
Language:AgdaMIT000
generate-node-backend
Simple nodejs program to generate a nodejs backend
GeoCoordinateConverter
Geographic Coordinate Converter for Slovenia
Language:C000
programi
Prvi repo
Language:C++000
recipes
A website for recipes
Language:PythonGPL-3.0000
Language:Python000
home-manager
Manage a user environment using Nix
MIT000
kosilo-scraper
Download daily menu and display it in the terminal
Language:Python000
krogci
krogci
Language:HTML000
Language:LeanApache-2.0000
LVR
LVR domača naloga
Language:Python000
nogomet
nogomet
Language:Python000
process_io
Little C program for measuring resource usage of executing some program
Language:C000
programiranje
Če si moj sošolec (ali sošolka), morda tu najdeš kaj uporabnega
Language:C000
pybox2d
2D Game Physics for Python
Language:C++NOASSERTION000
racuni
Branje racunov
000
regular-logic-presentation
Presentation on Regular logic and regular categories for the mathematical seminar at FMF
Language:TeX000
WTFPL000
Spoon-Knife
This repo is for demonstration purposes only.
Language:CSS000
Language:Python000
000
Language:Haskell000
tree-sitter-enumerion
tree-sitter grammar for Enumerion
Language:C000