blaisorblade Goto Github PK

miniboxing-plugin

Miniboxing is a Scala compiler transformation that improves the performance of generics for primitive numeric types. Unlike specialization, miniboxing reduces the amount of generated bytecode without sacrificing execution speed, therefore being capable of transforming the Scala collections hierachy.

minidot

Dependent Object Types (DOT), bottom up

mplayer-osx-extended

MPlayer OSX Extended video player for Mac. Continuation of original MPlayer OSX project, using MPlayer command line as backend.

multisets

Multi-sets for Scala collection

my-ocaml-coq-benchs

Hacky scripts for comparing Coq on different OCaml versions (more professional and heavier ways exist!)

nabl

Spoofax' Name Binding Language

nailgun

Nailgun is a client, protocol, and server for running Java programs from the command line without incurring the JVM startup overhead.

ndot-iris

Abandoned, alternative encodings of https://github.com/Blaisorblade/dot-iris

neat-interpolation

A quasiquoter for neat and simple multiline text interpolation

needle

Needle code generator

nova

NOVA Microhypervisor

np

new sbt project generation made simple(r)

ocaml

The core OCaml system: compilers, runtime system, base libraries

octopress

Octopress is an obsessively designed framework for Jekyll blogging. It’s easy to configure and easy to deploy. Sweet huh?

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

opam-overlay

My Opam overlay

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

order-maintenance

Temp. clone of https://hackage.haskell.org/package/order-maintenance

ott

Ott: Effective tool support for the working semanticist

ott-1

Ott is a tool for writing definitions of programming languages and calculi

pam_reattach

Reattach to the user's GUI session on macOS during authentication (for Touch ID support in tmux)

pandoc-lit

Connecting pandoc to lhs2tex for literate programming.

parsers

Parser experiments. Might become the home of my MSc work later on.

pdbp.github.io

Old fork of https://github.com/pdbp/pdbp.github.io

phd-thesis

pivotal

platform

Multi platform setup for Coq, Coq libraries and tools

platform-staging

The Scala Platform process and the tools around it.

plfa-exercises