akerust
Follow
Stars
An enterprise-class UI design language and React UI library
Focus on what matters instead of fighting with Git.
Proxy based Redis cluster solution supporting pipeline and scaling dynamically
Pyodide is a Python distribution for the browser and Node.js based on WebAssembly
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Small self-contained pure-Go web server with Lua, Teal, Markdown, Ollama, HTTP/2, QUIC, Redis, SQLite and PostgreSQL support ++
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
Beautiful toolbox for jsdoc generated documentation - with 'typescript', `category` and `component` plugins
JPype is cross language bridge to allow Python programs full access to Java class libraries.
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
gpython is a python interpreter written in go "batteries not included"
🚀 Fast, secure, lightweight containers based on WebAssembly
Vim plugin that displays tags in a window, ordered by scope
A TypeScript-like language for WebAssembly.
Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
A cross-platform GUI library for Rust, inspired by Elm
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Collection of awesome Python types, stubs, plugins, and tools to work with them.
Gin is a high-performance HTTP web framework written in Go. It provides a Martini-like API but with significantly better performance—up to 40 times faster—thanks to httprouter. Gin is designed for …
A curated list of awesome Go frameworks, libraries and software
dnscrypt-proxy 2 - A flexible DNS proxy, with support for encrypted DNS protocols.