Ahead of time compiler for JVM bytecode targetting iOS, Mac OSX and Linux
- ios
- java
- jvm
- robovm
Repository Index
81,337 visible repositories in the index
865–888 of 1,972 · Most stars
a work-in-progress Ruby compiler, written in Ruby and C++
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
A library for enabling task-based multi-threading. It allows execution of task graphs with arbitrary dependencies.
- cpp
- multithreading
- fibers
- task-scheduler
DFA regular expression library & friends
- fsm
- regex
- lexer-generator
- regexp
Tools for transparent data transformation
- term-rewriting
- logic-programming
- unification
- pattern-matching
Ruby FFI binding to the Networking and Cryptography (NaCl) library (a.k.a. libsodium)
- cryptography
- nacl
- libsodium
- ruby
A standalone Luau runtime
- cli
- luau
- scripting
Maintainable configuration files
- configuration-language
- haskell
- dhall
Sail architecture definition language
R interface for Apache Spark
Bind C++ functions and classes into V8 JavaScript engine
- javascript
- c-plus-plus
- cpp
- cpp14
Fast GPIO, PWM, servo control, state change notification and interrupt handling with Node.js on the Raspberry Pi
- gpio
- pwm
- servo
- motor
Vulkan API for JavaScript/TypeScript
- vulkan
- bindings
- javascript
Vulkan binding generator for Zig
PHP bindings for the Go programming language (Golang)
- php
- go
- language-bindings
uniVocity-parsers is a suite of extremely fast and reliable parsers for Java. It provides a consistent interface for handling different file formats, and a solid framework for the development of new parsers.
Python bindings for MPI
- python
- parallel-computing
- mpi
- mpi-library
Jelly is a recreational programming language inspired by J.
A robust option type for C#
- option-type
- safety
- functional-programming
Convert code from C# to VB.NET and vice versa using Roslyn
- online-snippet-converter
- code-converter
- c-sharp
- vb-net
High-performance, minimalist async-io (proactor) networking for Golang.
- asyncio
- proactor
- c10k
- epoll
Ruby extension for the libvips image processing library.
- libvips
- ruby
- image-processing
A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines
- cpp20
- coroutines
- wait-free
- threadpool