blaisorblade Goto Github PK

pts

pts-agda

A formalization of Pure Type Systems (PTS) in Agda

pygments

Pygments is a generic syntax highlighter written in Python

pympress

Pympress is a simple yet powerful PDF reader designed for dual-screen presentations

racket

The Racket repository

racket-playground

My personal playground for learning Racket

repro-in-cs

Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)

rex

Ruby embedded in LaTeX.

rr

Record and Replay Framework

runmacosinvirtualbox

Run macOS 10.16 Big Sur (and other versions) in VirtualBox on macOS

sbt-antlr

ANTLR3 plugin for sbt 0.12.x

sbt-cross-building

Enable cross-building of sbt plugins

sbt-dependency-graph

sbt plugin to create a dependency graph for your project

sbt-example

An example SBT project which uses macros (Scala 2.10, SBT 0.13)

sbt-git

A GIT plugin for SBT

sbt-jmh-seed-activator

SBT-JMH benchmarking seed (activator template)

sbt-native-packager

sbt-test

test sbt incremental compilation, use testIncrementalCompile task

sbt-test-case-apiurl

Testcase for an SBT bug

sbteclipse

Plugin for sbt to create Eclipse project definitions

scala

The Scala programming language

scala-dist

Additional code relevant to creating a scala distribution.

scala-example

Very small example, not much to see here

scala-lang

The Scala Website

scala-lms.github.com

website

scala-unboxed-option

A type-parametric unboxed Option type for Scala

scala.epfl.ch

Website for Scala@EPFL

scala.github.com

The Scala Documentation website

scala19_gadt_code

Support code for our Scala'19 paper on GADTs

scalaenv

Groom your app’s Scala environment