Victor Borja's repositories
mk-darwin-system
Small Nix utility to create an M1 aarch64-darwin (nixFlakes + nix-darwin + home-manager) system.
laminar_cycle
A cycle.js style user-computer model in Laminar
heroku-buildpack-nim
Deploy nim applications to heroku.
mill-buildr
An small Mill module that lets you define big project structures as a regular scala project itself.
mill-scalaxb
Generate Scala from wsdl and xsd files on mill builds
on-nix-pkgs
Curated information about every package on Nix!
advanced-zio
The material for the Advanced ZIO Workshop.
corn-flakes
A short demo on nix flakes and direnv.
docker-layered-fatjar
Create re-usable Docker layered images from java fat-jar apps.
home-manager
Manage a user environment using Nix [maintainer=@rycee]
katan
Small logic programming language, based on typed concatenative effects. [scala prototype]
keybase-scala-bot
A small library for creating keybase bots using scala.
neovim-flake
Nix flake for neovim & scala metals
nonono
NoNoNo is an Scala3 compiler plugin that lets you prevent unsafe function calls.
unison
A friendly programming language from the future
unison-nix
Nix support for the Unison programming language
zio-logic
A μKanren inspired relational/logic programming library for ZIO2