Călin Nicolau's repositories
aoc23-haskell
Advent of Code 2023
Language:Haskell000
Language:HaskellBSD-3-Clause000
Language:Elm000
intermediate-haskell-exercises
Exercises from https://blog.tmorris.net/posts/20-intermediate-haskell-exercises/
language-rust
Parser and pretty-printer for the Rust language
Language:HaskellBSD-3-Clause000
ml-prover
Parser for a matching logic interactive proof assitant
Language:YaccNOASSERTION000
Language:CGPL-3.0000
nixops-libvirtd
NixOps libvirtd backend plugin [maintainer=@AmineChikhaoui]
Language:PythonLGPL-3.0000
null-ls.nvim
Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.
Language:LuaNOASSERTION000
zip-fuse
Mounting a zip archive as a filesystem using FUSE
Language:C000
Language:JavaScript000
wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
NOASSERTION000
xmobar
A minimalistic status bar
NOASSERTION000