Erlang Language Platform. LSP server and CLI.

Koka language compiler and interpreter

A statically typed lisp, without a GC, for real-time applications.

A dependently-typed programming language with static memory management

A curated list of engineering blogs

Benchmarks for rust serialization frameworks

GCC Front-End for Rust

Neqo, the Mozilla Firefox implementation of QUIC in Rust

A strongly-typed language that compiles to JavaScript

Repository for the book "Crafting Interpreters"

Get all gnome backgrounds

🍱 Script to create a portable bundle of Vim environment

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

A modern proof language

A simple and ultrafast http reverse proxy serving multiple domain names and terminating TLS for http/1.1, 2 and 3, written in Rust

A massive collaborative rube goldberg machine.

A snapshot testing library for rust

yq is a portable command-line YAML, JSON, XML, CSV, TOML and properties processor

unimpaired.vim: Pairs of handy bracket mappings

IO, l'app dei servizi pubblici

🛡️ A secure web development platform and programming language.

🥑 Language focused docker images, minus the operating system.

Online, interactive edition of the "Simply Logical" Prolog textbook

An OCI container runtime monitor written in Rust

An OCI Runtime that enables Podman, Docker, and Kubernetes to run VM images.

곧으면서도 유연한 산세리프 글꼴 | A Sans-serif font; Geometric with a heart, Humanist with a soul

The Common Serif project is based on Libertinus Serif.

Urbanist is a low-contrast, geometric sans-serif inspired by Modernist design and typography.

Humanist sans serif typeface

All the fonts in San Francisco family font, developed by Apple. Including new serif fonts found in the Book app on iOS 12.