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

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

  • bun
  • bundler
  • javascript
  • javascriptcore

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

Relocate resource intensive third-party scripts off of the main thread and into a web worker. 🎉

  • webworker
  • 3rd-party
  • 3rdparty
  • web-worker

A General-purpose Task-parallel Programming System in C++

  • parallel-programming
  • threadpool
  • concurrent-programming
  • high-performance-computing

A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html

Modern concurrency tools including agents, futures, promises, thread pools, supervisors, and more. Inspired by Erlang, Clojure, Scala, Go, Java, JavaScript, and classic concurrency patterns.

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.