Sventimir/emacs-config
My custom Emacs configuration
Experienced software engineer, specialised in statically typed functional programming.
Repositories
Sventimir/scenario_toolbox
A set of tools for building Wesnoth scenarios
Sventimir/xmonad-config
My personal XMonad configuration and add-ons.
Sventimir/Idris2
A purely functional programming language with first class types
Sventimir/wesnoth-scenarios
A collection of scenarios for Battle for Wesnoth game.
Sventimir/omnibridge
A set of tools for learning the game of bridge.
Sventimir/ellama
Ellama is a tool for interacting with large language models from Emacs.
Sventimir/two-over-one
Description of the duplicate bridge bidding system
Sventimir/serde_sexpr
S-expression support for Serde
Sventimir/pacman-cache-clean
Clean old versions of packages downloaded by pacman.
Sventimir/numeric
Idirs library of definitions of different number systems, conversions and operations on them.
Sventimir/find.rs
Rust implementation of the standard find program.
Sventimir/byteq
An exercise in compiler/VM implementation.
Sventimir/emacs-mina
Run, monitor and interact with mina daemon inside Emacs.
Sventimir/battleships
A game of battleships with the option of plugging in an automated player.
Sventimir/snarkyhs
A library for building, proving and verifying ZK SNARKs.
Sventimir/euclids-elements
This is the Polish translation of fragments of famous Euclid's Elements
Sventimir/ocamldot
Dependency grapher for OCaml projects
Sventimir/vim.cfg
My vim bundle and config files.
Sventimir/game-of-life
A simple implementation of Conway's Game of Life in Haskell
Sventimir/ffjson
A command line JSON processor
Sventimir/splendour
An implementation of the rules of the known game.
Sventimir/veles
A statically typed variant of Lisp programming language.
Sventimir/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Sventimir/scanmail
A minimalistic wrapper around e-mail synchroniser providing nice notifications.
Sventimir/inspiration-and-improvement
A framework for building card-games
Sventimir/euclid
A geometric constructions renderer.
Sventimir/perceptron
A simple demonstration of capabilities of a perceptron
Sventimir/SDL-idris
SDL bindings package for idris
Sventimir/life-idr
A simple implementation of Conway's Game of Life in Idris with SDL interface.