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 Mojo Programming Language

Performance Optimizer Observation Platform

Go assembly and source viewer

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

Small, strongly typed, embeddable language.

👨‍🚀 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.

Gosling emacs from early 1980s

A fun safe language for rapid prototyping and high performance applications

Beef Programming Language