Empowering everyone to build reliable and efficient software.
Repository Index
47,133 repositories indexed
1–24 of 52 · Most stars
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
An alternative side effect model for Redux apps
- redux
- sagas
- effects
- middleware
NumPy aware dynamic Python compiler using LLVM
React Native's Animated library reimplemented
- animation
- gesture
- react-native
- javascript
Astrid is a portable, capability-secure operating system for composable software.
Arnold Schwarzenegger based programming language
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
The high-speed OpenGL, OpenCL, OpenAL, OpenXR, GLFW, SDL, Vulkan, Assimp, WebGPU, and DirectX bindings library your mother warned you about.
Android virtual machine and deobfuscator
- deobfuscation
- java
- optimization
- android
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 🦖
VHDL 2008/93/87 simulator
- vhdl
- ghdl
- simulator
- testbench
The libdispatch Project, (a.k.a. Grand Central Dispatch), for concurrency on multicore hardware
jOOλ - The Missing Parts in Java 8 jOOλ improves the JDK libraries in areas where the Expert Group's focus was elsewhere. It adds tuple support, function support, and a lot of additional functionality around sequential Streams. The JDK 8's main efforts (default methods, lambdas, and the Stream API) were focused around maintaining backwards compatibility and implementing a functional API for parallelism.
🦄 The Enterprise™ programming language
- enterprise
- disruptive-technology
- language
- ajax
Library to build PHP extensions with C++
Modify deeply nested case class fields
- scala
- lenses
- functional-programming
The reference P4 software switch
- p4
- bmv2
- p4lang
A header-only C++ library for task concurrency
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
A high-level assembly language for writing homebrew software and games on retro console platforms.
C++11 (and onwards) library for lazy evaluation
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python