Giters
Fabián Heredia Montiel (fabianhjr)

fabianhjr

Geek Repo

85

followers

538

following

598

stars

Location:Mexico City, Mexico

Home Page:fabian.social

Github PK Tool:Github PK Tool

Organizations
idris-community
LibreCybernetics
MangoMesh
NixOS

Fabián Heredia Montiel's repositories

idr-logical-foundations

Logical Foundations in Idris

Language:IdrisLicense:NOASSERTIONStargazers:6Issues:2Issues:3

advent-of-code

Language:ScalaStargazers:2Issues:2Issues:0

aoc-2019

Advent of Code 2019 in Idris

Language:IdrisStargazers:2Issues:2Issues:0

Config

Personal Configuration Files

Language:Emacs LispStargazers:1Issues:1Issues:0

Airstream

State propagation and event streams with mandatory ownership and no glitches

Language:ScalaLicense:MITStargazers:0Issues:1Issues:0

ammonite-scala3-issue

Reference: https://github.com/com-lihaoyi/Ammonite/issues/1327

Language:ScalaStargazers:0Issues:1Issues:0

coop-zmvm

Reporte Cooperativo y Solidario de la Zona Metropolitana del Valle de México

Language:MakefileStargazers:0Issues:2Issues:0

coopcycle-website

The coopcycle.org website.

Language:JavaScriptStargazers:0Issues:1Issues:0

fabianhjr.github.io

Language:HaskellStargazers:0Issues:2Issues:0

dotty

The Scala 3 compiler, also known as Dotty.

License:Apache-2.0Stargazers:0Issues:0Issues:0

effectSlack.scala

License:MPL-2.0Stargazers:0Issues:0Issues:0

interop-twitter

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

keybase-client

Keybase Go Library, Client, Service, OS X, iOS, Android, Electron

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

KnowledgeBase

Stargazers:0Issues:1Issues:0

Learning

Exercises and Whatnot

Language:NixStargazers:0Issues:2Issues:0

mill

Your shiny new Java/Scala build tool!

Language:ScalaLicense:MITStargazers:0Issues:0Issues:0

obelisk

Obelisk provides an easy way to develop and deploy your Reflex project for web and mobile

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

programaciondeclarativa-20182

Language:HaskellStargazers:0Issues:3Issues:0

quill

Compile-time Language Integrated Queries for Scala

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

scala-steward-repos

Language:ShellStargazers:0Issues:0Issues:0