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 133 · Most stars
An open-source C++ library developed and used at Facebook.
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
JDK main-line development https://openjdk.org/projects/jdk
- openjdk
- java
- jvm
An open source platform for Python in the browser. https://pyscript.net Docs: https://docs.pyscript.net/ Try it: https://pyscript.com/ Community: https://discord.gg/HxvBtukrg2
Build production-ready applications in TypeScript
- effect
- javascript
- cli
- opentelemetry
The repository host gives no description.
The next-generation file converter. Open source, fully local* and free forever.
Open Machine Learning Compiler Framework
- compiler
- tensor
- deep-learning
- gpu
Mono open source ECMA CLI, C# and .NET implementation.
ChakraCore is an open source Javascript engine with a C API.
- chakracore
- javascript-engine
- jsrt
- microsoft
Java interface to OpenCV, FFmpeg, and more
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.
Go package for computer vision using OpenCV 4 and beyond. Includes support for DNN, CUDA, OpenCV Contrib, and OpenVINO.
A polyfill for ES6-style Promises
OpenCV wrapper for .NET
- opencv
- wrapper
- dotnet
- nuget
Translated📌 Asynchronous thread pool framework, support Thread Pool Dynamic Change & monitoring & Alarm, no need to modify the code easily introduced.
- java
- thread-pool
- dynamic
- monitor
The repository host gives no description.
- openapi3
- json-schema
- protobuf
- typespec
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
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.
inkle's open source scripting language for writing interactive narrative.
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
- erlang
- golang
- elixir
- supervisor
Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.