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

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.

A virtual machine for executing programs written in Hack.

  • hhvm
  • php
  • hack
  • hacklang

Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.14. You feed it your Python app, it does a lot of clever things, and spits out an executable or extension module.

  • python-compiler
  • python
  • nuitka
  • programming

Base library for a lexer that can be used in Top-Down, Recursive Descent Parsers.

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.

Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all

  • cpp
  • await
  • async-await
  • executor-service

Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction

A tool set for CSS including fast detailed parser, walker, generator and lexer based on W3C specs and browser implementations

A library for enabling task-based multi-threading. It allows execution of task graphs with arbitrary dependencies.

  • cpp
  • multithreading
  • fibers
  • task-scheduler

Popular PHP library for serialized execution of critical code in concurrent situations

  • lock
  • mutex
  • semaphore
  • php

QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native TypeScript, a REPL that survives restarts, Rust bindings.

a C# embeddable lexer and parser generator (.Net core)

  • dot-net
  • csharp
  • parser
  • lexer-generator

JQuick Java: a lightweight Java-like scripting language for rule engines. Declare, parse and execute business rules at runtime via XML or inline scripts—no restart needed. Java 8+, embeddable, with LSP and IDEA plugin support.