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

Productive, portable, and performant GPU programming in Python.

  • taichi
  • differentiable-programming
  • gpu-programming
  • sparse-computation

A virtual machine for executing programs written in Hack.

  • hhvm
  • php
  • hack
  • hacklang

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

  • pattern-matching
  • typescript
  • ts
  • pattern

Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.

  • erlang
  • golang
  • elixir
  • supervisor

Easy to use F#-like ~discriminated~ unions for C# with exhaustive compile time matching

  • discriminated-unions
  • c-sharp
  • f-sharp
  • dotnetcore

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 🦖