Agda is a dependently typed programming language
A high performance memory-bound Go cache
A tool to install, manage and use Progressive Web Apps (PWAs)
Your entire server infrastructure at your fingertips
Master the fundamentals and advanced features of the Go language
safe and easy casting from one type to another in Go
A Coverage-Guided, Native Python Fuzzer
A set of Rust crates for interacting with the Matrix chat network
Elegant Golang REST API Framework (v5 WIP)
PeachPie, the PHP compiler and runtime for .NET and .NET Core
mlpack: a scalable C++ machine learning library
Kafka library in Go
Quickly and easily develop WeChat full-platform applications
Scala 2 compiler and standard library
Simple C compiler
Easily and securely share files from the command line
Principled Functional Programming in Scala
blingful character graphics/TUI library. definitely not curses
A C library for asynchronous DNS requests
Extensible WebAssembly runtime for cloud native applications
fgprof is a sampling Go profiler that allows you to analyze On-CPU
Simple, fast, safe, compiled language for developing software
Checked C is an extension to C that lets programmers write C code
A friendly language for building type-safe, scalable systems!