Pinned Repositories
advent-of-code
Airstream
State propagation and event streams with mandatory ownership and no glitches
ammonite-scala3-issue
Reference: https://github.com/com-lihaoyi/Ammonite/issues/1327
aoc-2019
Advent of Code 2019 in Idris
assemblyscript
A TypeScript-like language for WebAssembly.
cabal2nix
Generate Nix build instructions from a Cabal file
Config
Personal Configuration Files
idr-logical-foundations
Logical Foundations in Idris
Monorepo-old
fabianhjr's Repositories
fabianhjr/idr-logical-foundations
Logical Foundations in Idris
fabianhjr/advent-of-code
fabianhjr/aoc-2019
Advent of Code 2019 in Idris
fabianhjr/Config
Personal Configuration Files
fabianhjr/Airstream
State propagation and event streams with mandatory ownership and no glitches
fabianhjr/ammonite-scala3-issue
Reference: https://github.com/com-lihaoyi/Ammonite/issues/1327
fabianhjr/assemblyscript
A TypeScript-like language for WebAssembly.
fabianhjr/cabal2nix
Generate Nix build instructions from a Cabal file
fabianhjr/coop-zmvm
Reporte Cooperativo y Solidario de la Zona Metropolitana del Valle de México
fabianhjr/coopcycle-website
The coopcycle.org website.
fabianhjr/fabianhjr.github.io
fabianhjr/dotty
The Scala 3 compiler, also known as Dotty.
fabianhjr/effectSlack.scala
fabianhjr/home-manager
Manage a user environment using Nix [maintainer=@rycee]
fabianhjr/interop-twitter
fabianhjr/keybase-client
Keybase Go Library, Client, Service, OS X, iOS, Android, Electron
fabianhjr/KnowledgeBase
fabianhjr/Learning
Exercises and Whatnot
fabianhjr/mill
Your shiny new Java/Scala build tool!
fabianhjr/nix
Nix, the purely functional package manager
fabianhjr/nix-serve
A standalone Nix binary cache server
fabianhjr/nixpkgs
Nix Packages collection & NixOS
fabianhjr/obelisk
Obelisk provides an easy way to develop and deploy your Reflex project for web and mobile
fabianhjr/plane
🔥 🔥 🔥 Open Source JIRA, Linear, Monday, and Asana Alternative. Plane helps you track your issues, epics, and product roadmaps in the simplest way possible.
fabianhjr/programaciondeclarativa-20182
fabianhjr/quill
Compile-time Language Integrated Queries for Scala
fabianhjr/scala-steward-repos