Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
Repository Index
47,133 repositories indexed
1–24 of 118 · Most stars
An open-source C++ library developed and used at Facebook.
Productive, portable, and performant GPU programming in Python.
- taichi
- differentiable-programming
- gpu-programming
- sparse-computation
JDK main-line development https://openjdk.org/projects/jdk
- openjdk
- java
- jvm
Development repository for the Triton language and compiler
A retro game engine for Python
👶🏻 신입 개발자 전공 지식 & 기술 면접 백과사전 📖
- interview
- developer
- tech
- computer-science
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
- developer-tools
- english-language
- grammar-checker
- rust
Fast Rust-based bundler for the web with a modernized webpack API 🦀
- bundler
- javascript
- compiler
- web
Agent-less vulnerability scanner for Linux, FreeBSD, Container, WordPress, Programming language libraries, Network devices
- vuls
- vulnerability-scanners
- golang
- go
Meshery, the cloud native manager
- meshery
- management-plane
- hacktoberfest
- kubernetes
A data visualization and analytics component, especially well-suited for large and/or streaming datasets.
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Hyperscript Tagged Markup: JSX alternative using standard tagged templates, with compiler support.
🐍🎮 pygame (the library) is a Free and Open Source python programming language library for making multimedia applications like games built on top of the excellent SDL library. C, Python, Native, OpenGL.
- python
- pygame
- sdl2
- sdl
🚀 A fast WebAssembly interpreter and the most universal WASM runtime
Unified querying, transformation, and modification of JSON, TOML, YAML, XML, INI, HCL, KDL and CSV.
- json
- yaml
- configuration
- selector
Business intelligence as code: build fast, interactive data visualizations in SQL and markdown
Spin is the open source developer tool for building and running serverless applications powered by 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 environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
🦀 event stream processing for developers to collect and transform data in motion to power responsive data intensive applications.
- cloud-native
- streaming
- rust
- real-time
Lightweight and modular C++11 graphics middleware for games and data visualization
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.