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 98 · Most stars

Productive, portable, and performant GPU programming in Python.

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

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

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

  • dotnet
  • hacktoberfest
  • help-wanted

🐜🐜🐜 ants is the most powerful and reliable pooling solution for Go.

  • goroutine-pool
  • goroutine
  • pool
  • go

Functional programming in TypeScript

  • typescript
  • functional-programming
  • algebraic-data-types

Instant Upgrades and Automated Refactoring of any PHP 5.3+ code

  • php
  • ast
  • instant-upgrades
  • automated-upgrades

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.

WHATWG-compliant and fast URL parser written in modern C++, part of Internet Archive, Node.js, Clickhouse, Redpanda, Kong, Telegram, Adguard, Datadog and Cloudflare Workers.

PyPy is a very fast and compliant implementation of the Python language.