Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–21 of 21 · Most stars

WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.

Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.

Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.

  • java
  • eclipse-collections
  • java-collections
  • collections

A Parser for CSS Files written in PHP. Allows extraction of CSS files into a data structure, manipulation of said structure and output as (optimized) CSS

Popular PHP library for serialized execution of critical code in concurrent situations

  • lock
  • mutex
  • semaphore
  • php

To help gophers generate QR Codes with customized styles, such as color, block size, block shape, and icon.

  • qrcode
  • golang
  • colorful
  • adjustable

Generalized recursion schemes and traversals for Scala.

  • recursion-schemes
  • algebra
  • traversal
  • recursive-structures

C++11 thread-safe container for sharing data between threads (synchronized queue)

  • cpp
  • multithreading
  • thread-safe
  • channel

☢️ V Nuklear module -- nuklear wrapper

  • hacktoberfest

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

  • coq
  • randomized-algorithms
  • probability
  • monad