Javier Neira 's repositories
idris-jvm
JVM bytecode back end for Idris
Idris2
A purely functional programming language with first class types
unison
A friendly programming language from the future
haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
maven-shade-plugin
Apache Maven Shade Plugin
cabal
Official upstream development repository for Cabal and cabal-install
haskeline
A Haskell library for line input in command-line programs.
vscode-unison
Official Unison extension for Visual Studio Code
metabase
The simplest, fastest way to get business intelligence and analytics to everyone in your company :yum:
coursier
Pure Scala Artifact Fetching
test-tlds
Repo to reproduce a bug in discovering tlds inside jars using liberty and eclipse
cabal-website
The http://www.haskell.org/cabal/ website
butcher
haskell library to parse commandline args - an alternative to optparse-applicative
ghcup-metadata
GHCup metadata repository
haskell-lsp
Haskell library for the Microsoft Language Server Protocol
vscode-haskell
VsCode extension for Haskell, as a front end for haskell-ide-engine
HlsChoco
Chocolatey sources for haskell-language-server installs
cabal-extras
A tool suite to aid Haskell development using `cabal-install`
cabal-fmt
An experiment of formatting .cabal files
actions
Github actions for Haskell CI
implicit-hie
Auto generate a stack or cabal multi component hie.yaml file
language-haskell
Highlighting support for the Haskell language in visual studio code.
www.haskell.org
www.haskell.org site source
GhcChoco
Chocolatey sources for pure GHC installs
cabal-helper
Simple interface to some of Cabal's configuration state, used by ghc-mod. CI: https://gitlab.com/dxld/cabal-helper/pipelines