phase Goto Github PK

hugo-test-phase

hypersanic

sanic adventr in a mstc laaaaaaaaand

ignite

A Mixin and Access Widener mod loader for Spigot/Paper

image-png

PNG decoding and encoding library in pure Rust

inf503

INF 503

iputils

Utilities for tracking Player IPs. (No data is distributed, this is only for stats)

j--

A rundown version of Java

jaco

A console written in Java with an API for commands and other things.

javacpp-presets

The missing bridge between Java and native C++ libraries

jay

jboard

A Soundboard written in Java!

jdbi

jdbi is designed to provide convenient tabular data access in Java; including templated SQL, parameterized and strongly typed queries, and Streams integration

jisp

Jadon's Lisp

jlc

Java LLVM Compiler

jml

Jadon's ML

jvmbg

JVM Bytecode Generator using ASM. Made for compilers.

jvmlang

Minimalistic JVM Language

khaos

Minigame API for Bukkit

kotlin-web-site

The Kotlin Programming Language Website

kremlin

KreMLin is a tool for extracting low-level F* programs to readable C code

l33t

The only way you're certified to be on the internet.

lamb

The Lamb Programming Language

lambda

Untyped Lambda Calculus Interpreter

lang-functional-compiler

another one

lang-ocaml-compiler

Compiler written in OCaml

lang-rust-golf

Functional golfing language written in Rust

learning-coq

Test documents while learning how to use Coq

leer

C to LLVM IR Website

lemon

An open source text editor with syntax highlighting.

ler

Distribute Version Control System Prototype in Rust (nothing special in here)