Pinned Repositories
fdo-basedirs
Haskell implementation of the freedesktop.org Base Directory Specification
fdo-desktop-entry
Haskell implementation of the freedesktop.org Desktop Entry Specification
homebrew
The missing package manager for OS X.
scala
My fork of scala (includes the llvm backend)
scala-legacy-svn
Obsolete. See http://github.com/greedy/scala
scala-llvm
This repository is now obsolete, see https://github.com/greedy/scala
scala-query
A type-safe database query API for Scala
scala-study-group
scala-style
Daniel Spewak's Scala Style Guide
sctags
ctags generator for scala
greedy's Repositories
greedy/scala
My fork of scala (includes the llvm backend)
greedy/dotvim
greedy/Amethyst
Automatic tiling window manager for macOS à la xmonad.
greedy/antlr3
antlr v3 repository (pulled from p4 with history from //depot/code/antlr/antlr3-main
greedy/aoc2022
greedy/base
Standard library for OCaml
greedy/capnproto
Cap'n Proto serialization/RPC system
greedy/cti-documentation
OASIS TC Open Repository: GitHub Pages site for STIX and TAXII
greedy/discourse_docker
A Docker image for Discourse
greedy/dolphin
Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.
greedy/dune
A composable build system for OCaml.
greedy/graal
GraalVM: Run Programs Faster Anywhere :rocket:
greedy/hm-login-shell-helper
Lets you configure your login shell using home-manager
greedy/incubator-tinkerpop
Mirror of Apache TinkerPop (Incubating)
greedy/nix
Nix, the purely functional package manager
greedy/nix-eval-cache-subdir-bug
greedy/nixpkgs
Nix Packages collection
greedy/odoc
Documentation compiler for OCaml and Reason
greedy/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
greedy/opam-nix
Turn opam-based OCaml projects into Nix derivations
greedy/pharo
The Sources for Pharo
greedy/proof-demos
Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
greedy/proxypal
greedy/reveal.js
The HTML Presentation Framework
greedy/rusage
greedy/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
greedy/st-ligatures
Patches for ST (suckless terminal) that add support for ligatures drawing
greedy/tinkerpop3-before-apache
TinkerPop3: A Graph Computing Framework
greedy/vscode-reasonml
OCaml & Reason support for Visual Studio Code
greedy/wat-collection
Collection of "wat" moments in various languages