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
74,362 visible repositories in the index
1–24 of 99 · Most stars
An open-source C++ library developed and used at Facebook.
JDK main-line development https://openjdk.org/projects/jdk
- openjdk
- java
- jvm
Adds static typing to JavaScript to improve developer productivity and code quality.
Development repository for the Triton language and compiler
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
Hyperscript Tagged Markup: JSX alternative using standard tagged templates, with compiler support.
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
Translated🔥 A network library that is easier to use than libevent/libuv/asio. A c/c++ network library for developing TCP/UDP/SSL/HTTP/WebSocket/MQTT/Redis client/server.
- https
- http-client
- http-server
- websocket
🐼 Chinese translations for classic software development resources
- translation
- chinese-translation
- lisp
- erlang
wazero: the zero dependency WebAssembly runtime for Go developers
- golang
- go
- wasm
- wasi
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
A statically typed lisp, without a GC, for real-time applications.
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
QLExpress is a powerful, lightweight, dynamic language for the Java platform aimed at improving developers’ productivity in different business scenes.
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
- python
- dotnet
- mono
- clr
LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan, bgfx), audio (OpenAL, Opus), parallel computing (OpenCL, CUDA) and XR (OpenVR, LibOVR, OpenXR) applications.
- lwjgl
- kotlin
- opengl
- opencl
Rust bindings for Godot 4
- game-development
- gamedev
- godot
- rust
The high-speed OpenGL, OpenCL, OpenAL, OpenXR, GLFW, SDL, Vulkan, Assimp, WebGPU, and DirectX bindings library your mother warned you about.
🦎 Move an async function into its own thread.
- worker
- webworker
- thread
- web-worker
🏗️ Run a module in a Web Worker.
- web-worker
- web-workers
- threading
⛱ Broadly scoped ecosystem & mono-repository of 215 TypeScript projects (and ~185 examples) for general purpose, functional, data driven development
- color
- data-structures
- dsl
- functional-programming
GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and window functions and allow customization like user-defined types and functions