Alexandre Abreu's starred repositories
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
fish-shell
The user-friendly command line shell.
languagetool
Style and Grammar Checker for 25+ Languages
element-web
A glossy Matrix collaboration client for the web.
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
use-package
A use-package declaration for simplifying your .emacs
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
genprog-code
GenProg: heuristic, GP-based automatic program repair for C.