pthariensflame

lycete

A functional-objective-lenticular programming language

SatNQClause

Truffle implementation of a recursive open-world solver for nested quantifier clauses

shard-sort

A general-purpose non-recursive incremental out-of-place comparison-sorting algorithm that exploits runs of sorted data

sylvia

A language for teaching, learning, and research about calling conventions

truffle-dhall

A Truffle/GraalVM implementation of the Dhall programmable configuration language [WIP]

abella

An interactive theorem prover based on lambda-tree syntax

agda

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

binwalk

Firmware Analysis Tool

book

A textbook on informal homotopy type theory

graal

GraalVM: Run Programs Faster Anywhere :rocket:

homebrew-riscv

homebrew (macOS) packages for RISC-V toolchain

homebrew-tap

homebrew-unacceptable

My homebrew tap, right now for installing wget2

java-almanac

Some Java Historiography

jenv

Manage your Java environment

julia

The Julia Language: A fresh approach to technical computing.

kotlin2docset

llvmenv

Manage multiple LLVM/Clang builds

Marble-Marcher-Community-Edition

A community-developed version of the original Marble Marcher - a fractal physics game.

omr

Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes

PackageCompiler.jl

Compile your Julia Package

pyenv

Simple Python version management

quicktype

Generate types and converters from JSON, Schema, and GraphQL

rayon

Rayon: A data parallelism library for Rust

rust

A safe, concurrent, practical language.

rust-itertools

Extra iterator adaptors, functions and macros.

rust-onig

Rust bindings for the Oniguruma regex library

sbtenv

Groom your sbt environment.

scalaenv

Groom your app’s Scala environment

skylighting

A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions