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 109 · 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
Adds static typing to JavaScript to improve developer productivity and code quality.
Development repository for the Triton language and compiler
Relocate resource intensive third-party scripts off of the main thread and into a web worker. 🎉
- webworker
- 3rd-party
- 3rdparty
- web-worker
Fast Rust-based bundler for the web with a modernized webpack API 🦀
- bundler
- javascript
- compiler
- web
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.
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.
🚀 A fast WebAssembly interpreter and the most universal WASM runtime
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.
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
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
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
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
A C#/.NET library to run LLM (🦙LLaMA/LLaVA) on your local device efficiently.
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
clasp Common Lisp environment