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 195 · Most stars
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
- programming-language
- carbon-lang
- compiler
- cpp
Cross-platform asynchronous I/O
- asynchronous
- io
- networking
- unix
The official mirror of the V8 Git repository
- javascript-engine
- virtual-machine
- compiler
- interpreter
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Development repository for the Triton language and compiler
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, and elegance (in that order of priority).
Build production-ready applications in TypeScript
- effect
- javascript
- cli
- opentelemetry
Open Machine Learning Compiler Framework
- compiler
- tensor
- deep-learning
- gpu
perfect programming language
TypeScript execution and REPL for node.js
The official repo for the design of the C# programming language
- csharp
- language-design
Expressive, robust, feature-rich CSS language built for nodejs
- stylus
- css
- preprocessor
- styl
🚀 gnet is a high-performance, lightweight, non-blocking, event-driven networking framework written in pure Go.
- event-driven
- event-loop
- networking
- non-blocking
Public repository of the QuickJS Javascript Engine.
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
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
High-level tracing language for Linux
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
Public repository of the Micro QuickJS Javascript Engine
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
A better Python REPL
Brings SQL and AI together.
- sqlflow
- sql-syntax
- ai
- transpiler
Sol3 (sol2 v3.0) - a C++ <-> Lua API wrapper with advanced features and top notch performance - is here, and it's great! Documentation:
- sol
- lua
- lua-bindings
- lua-binding