Build terminal-themed web applications with Rust and WebAssembly
Public repository of the Micro QuickJS Javascript Engine
A data interchange format
Agda is a dependently typed programming language
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
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
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
Simple C compiler
Your entire server infrastructure at your fingertips
A friendly language for building type-safe, scalable systems!
Rapidly deploy multiple-hasty Docker containers