A fast lost-in-space plate solver for star trackers.

An OpenXR layer to crop to the widescreen aspect ratio

Fully documented source code for the cassette version of the classic game Elite on the BBC Micro

ABC: System for Sequential Logic Synthesis and Formal Verification

This repo is a fork of the master OpenLANE repo for us with projects submitted on Efabless Open MPW or chipIgnite shuttles:: OpenLANE is an automated RTL to GDSII flow based on several components i…

An add-on for Kerbal Space Program (KSP) to enable virtual reality.

Visual enhancements including clouds, lights, etc.

Kerbal Engineer v1.0 (current in-development build).

Android TV app for F1 TV

Fast JVM launching without the hassle of persistent JVMs.

Modified OpenVR DLL to trick FO4VR into believing the Index controllers are Touch controllers

Read-only mirror of rockbox' main repository

Generate flamegraphs from ghc RTS .prof dumps

Haskell libraries for OpenTracing.io

Functional Programming for Mortals with Scalaz (leanpub doesn't support gitlab)

Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`

A scala library for connecting to a redis server, or a cluster of redis nodes using consistent hashing on the client side.

In progress

A sensible soccer clone, with implemented opponent team A.I

A plugin for Kerbal Space Program which adds some SSTV, beeps, and nonsensical radio chatter between your crewed command pods and Mission Control.

ENSIME JVM Process

Simple, robust and portable metaprogramming toolkit for Scala

A fork of Git containing Windows-specific patches.

Deploy über-JARs. Restart processes. (port of codahale/assembly-sbt)

sbt plugin adding support for source code formatting using Scalariform

Packages your project using One-JAR™ (Mirror. Official repo is now https://github.com/sbt/sbt-onejar)

ENhanced Scala Interaction Mode for Emacs

⏱️ git task/time manager

Google Drive client for the commandline

Mono open source ECMA CLI, C# and .NET implementation.