Pinned Repositories
aoc23-haskell
Advent of Code 2023
bind-torrent
bind-torrent-web-ui
calin1304.github.io
intermediate-haskell-exercises
Exercises from https://blog.tmorris.net/posts/20-intermediate-haskell-exercises/
language-rust
Parser and pretty-printer for the Rust language
ml-prover
Parser for a matching logic interactive proof assitant
NaOS
nixops-libvirtd
NixOps libvirtd backend plugin [maintainer=@AmineChikhaoui]
zip-fuse
Mounting a zip archive as a filesystem using FUSE
calin1304's Repositories
calin1304/aoc23-haskell
Advent of Code 2023
calin1304/bind-torrent
calin1304/bind-torrent-web-ui
calin1304/calin1304.github.io
calin1304/intermediate-haskell-exercises
Exercises from https://blog.tmorris.net/posts/20-intermediate-haskell-exercises/
calin1304/language-rust
Parser and pretty-printer for the Rust language
calin1304/ml-prover
Parser for a matching logic interactive proof assitant
calin1304/NaOS
calin1304/nixops-libvirtd
NixOps libvirtd backend plugin [maintainer=@AmineChikhaoui]
calin1304/null-ls.nvim
Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.
calin1304/project-init
calin1304/zip-fuse
Mounting a zip archive as a filesystem using FUSE
calin1304/pathfinder_esi
ESI API web client library for Pathfinder
calin1304/tree-sitter-kframework
calin1304/wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
calin1304/xmobar
A minimalistic status bar