Pinned Repositories
dem.colmex.perl
Query the COLMEX's DEM dictionary from CLI or using unix pipes.
gametemplate.libgdx.scala
githubmillscala
A Mill Module for publishing into the GitHub Maven Repository
lambdaUwU.scala
mrio.scala
sims4moddingboilerplate
voices-of-the-void.nix
ivanmoreau's Repositories
ivanmoreau/oAuth2.mc.scala
ivanmoreau/papermc.server.nix
ivanmoreau/minecraft.papermc.template.scala
Mill + PaperMC plugin + Scala
ivanmoreau/winecx.macos.nix
ivanmoreau/voices-of-the-void.nix
ivanmoreau/nixpkgs
Nix Packages collection
ivanmoreau/cats-effect.idris
ivanmoreau/Monorepo
ivanmoreau/idrisjvm-flake.nix
ivanmoreau/gametemplate.libgdx.scala
ivanmoreau/parsergpt.scala
ivanmoreau/please
High-performance extensible build system for reproducible multi-language builds.
ivanmoreau/presentacion.videojuegos.ia.latex
ivanmoreau/rodeo
ivanmoreau/flake.template.ocaml
ivanmoreau/vim-colors-xcode
Xcode 11’s dark and light colourschemes for Vim
ivanmoreau/specifying-verifying-tail-recursion
Source code for the paper "Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions"
ivanmoreau/ytd.fork.fix.python
Aplicación para descargar videos de YouTube con Pytube y PyQt5.
ivanmoreau/presentacion.sistema-experto.ia.latex
ivanmoreau/hw.is.ia.prolog
ivanmoreau/balls.love2d.fennel
ivanmoreau/dem.colmex.perl
Query the COLMEX's DEM dictionary from CLI or using unix pipes.
ivanmoreau/unicode-math.vim
Vim keymap to type Unicode math symbols by their TeX names
ivanmoreau/gccrs
GCC Front-End for Rust
ivanmoreau/mac2linuxkbd
ivanmoreau/testlambda0
ivanmoreau/cocoahs
Haskell Bindings to the Cocoa API
ivanmoreau/sims4moddingboilerplate
ivanmoreau/haskell_logic_types
ivanmoreau/finalprojectinfret