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

73–96 of 141 · Most stars

Visual D - Visual Studio extension for the D programming language

FXRuby is an extension module for Ruby that provides an interface to the FOX GUI toolkit.

A simple, flexible, extensible, and liberal RSS and Atom reader for Ruby. It is designed to be backwards compatible with the standard RSS parser, but will never do RSS generation.

Extension of the Elixir standard library focused on data stuctures, data manipulation and performance

  • elixir
  • persistent-vectors
  • ordered-map
  • util

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  • raft
  • verdi
  • coq
  • proof

A Low-Latency, High Performance and Extensible WebAssembly Backend Library

SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).