Sileanth
Student of Computer Science and Mathematics at University of Wrocław. Interested in Theory of programming Languages, Logic, Proof Assistants and Algorithms.
Univercity of WrocławWrocław, Poland
Sileanth's Stars
mchaput/whoosh
Pure-Python full-text search library
LadybirdBrowser/ladybird
Truly independent web browser
uga-rosa/cmp-dictionary
A dictionary completion source for nvim-cmp
ronia-jakim/nokia_extensible_system_monitoring_framework
Nokia Innovative Projects
folke/lazy.nvim
💤 A modern plugin manager for Neovim
janestreet/base
Standard library for OCaml
ppolesiuk/type-systems-notes
Lecture notes for the Type Systems course given in Autumn 2023
ryan4yin/nixos-and-flakes-book
:hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗?在寻找一份新手友好的教程?那你可来对地方了!
gvolpe/neovim-flake
Nix flake for Neovim & Scala Metals
whiskeyo/Kursy-UWr
Solutions and other stuff from the university courses I attended.