blaisorblade Goto Github PK

abt

Implementing Abstract Binding Trees (in Scala, ...)

acmart

ACM consolidated LaTeX styles

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-playground

My Agda experiments

agda-presburger

Deciding Presburger arithmetic in agda

agda-stdlib

The Agda standard library

agda-vm-sample

ammonite

Rock-solid shell scripting

anki-android

Anki on Android

aopl

A book on programming languages, using Haskell

arbtt

arbtt, the automatic rule-based time-tracker

autosubst

Automation for de Bruijn syntax and substitution in Coq

autosubst2

Official repository of the Autosubst 2 project.

autosubst2-proto

Superseded by https://github.com/uds-psl/autosubst2. Clone of Autosubst2 prototype from https://www.ps.uni-saarland.de/extras/lfmtp17/

basic-scala-project.g8

A giter8 template for generating a new Scala project.

bat

A Java Bytecode library written in Scala which provides a native object-oriented representation as well as an XML and a Prolog based representation.

beluga

Contextual types meet mechanized metatheory!

bibs

My bibliography files - integrated in other projects using git-subtree

bin

My own home bash scripts

blaisorblade.github.io

brew

:beer: The missing package manager for OS X

browse

A Scala source code browser

bsc-thesis-impl

Code used for my Bachelors' Thesis: Automatic Locality-friendly Array Interface Extension of Numerical Functions through C++ Metaprogramming

cabal

Official upstream development repository for Cabal and cabal-install

camlp5

Preprocessor / Pretty Printer for OCaml

categorytheory

cats

Lightweight, modular, and extensible library for functional programming.

cdf-mech-sem

Coq development for the course "Mechanized semantics", Collège de France, 2019-2020

ceps

Coq Enhancement Proposals

cgraphs

Deadlock freedom in Iris