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–23 of 23 · Most stars

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Duktape - embeddable Javascript engine with a focus on portability and compact footprint

  • javascript-engine
  • javascript
  • duktape

A high performance implementation of the Ruby programming language, built on GraalVM.

  • graalvm
  • ruby
  • truffle
  • hacktoberfest

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

  • aadl
  • ada

Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  • coq-plugin
  • coq-tactic
  • coq
  • docker-coq-action

Lazy iterator implementation for Golang

  • golang
  • iterator
  • golang-package
  • golang-module