The P programming language.

Solving the first 100 Project Euler problems using 100 different programming languages!

rFactor2 Server Helper

Static analysis tool to detect potential nil panics in Go code

An extremely fast Python linter and code formatter, written in Rust.

Systems language with linear types and capability-based security.

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

High-level interface for low-level programming

Gerbil Scheme

The Modular Platform (includes MAX & Mojo)

Performance Optimizer Observation Platform

Go assembly and source viewer

A library for calling C functions from Go without Cgo

Python implementation of a symbolic execution of MT19937 and a solver for GF(2) matrices

Quickly find differences and similarities in disassembled code

a bridge between python and shell

A stack-based array programming language

SMT based attacks on non cryptographic PRNGs

Ctf solutions from p4 team

Effects-based direct-style IO for multicore OCaml

The Crumb Programming Language

ivy, an APL-like calculator

Compiler for the Vale programming language - http://vale.dev/

Umka: a statically typed embeddable scripting language

Toy language for experimentation and fun.

👨‍🚀 buzz, A small/lightweight statically typed scripting language

A massively parallel, optimal functional runtime in Rust

Yet another modal editing on Emacs / 猫态编辑

Frame profiler

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.