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 169 · Most stars
:bird: :zap: Bluebird is a full featured promise library with unmatched performance.
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).
The repository host gives no description.
PyGWalker: Turn your dataframe into an interactive UI for visual analysis
- data-analysis
- pandas
- tableau
- tableau-alternative
GPU Accelerated JavaScript
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
- pattern-matching
- typescript
- ts
- pattern
AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.
- autohotkey
- c-plus-plus
- automation
- windows
The ultimate generator based flow-control goodness for nodejs (supports thunks, promises, etc)
React Native's Animated library reimplemented
- animation
- gesture
- react-native
- javascript
Instant Upgrades and Automated Refactoring of any PHP 5.3+ code
- php
- ast
- instant-upgrades
- automated-upgrades
A shell parser, formatter, and interpreter with bash and zsh support; includes shfmt
OpenCV wrapper for .NET
- opencv
- wrapper
- dotnet
- nuget
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
:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.
Extremely simple yet powerful header-only C++ plotting library built on the popular matplotlib
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby / Rust
- reverse-engineering
- protocol-analyser
- file-format
- declarative-language
Easy to use F#-like ~discriminated~ unions for C# with exhaustive compile time matching
- discriminated-unions
- c-sharp
- f-sharp
- dotnetcore
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and memory ops 🦖
Playwright for Go a browser automation library to control Chromium, Firefox and WebKit with a single API.
An Open Source Implementation of the Actor Model in C++
- actor-model
- caf
- pattern-matching
- actors
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
JSONata query and transformation language - http://jsonata.org