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 75 · 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

🛡️ BLA (Blind LLM Agents) — Adversarial defense shield that protects binaries, Electron apps, JS bundles, Python, and WebAssembly against AI reverse-engineering agents like REA. Poison -> Exhaust -> Hallucinate.

bcrypt-ruby is a Ruby binding for the OpenBSD bcrypt() password hashing algorithm, allowing you to easily store a secure hash of your users' passwords.

tiny recursive descent expression parser, compiler, and evaluation engine for math expressions

  • c
  • calculator
  • expression-evaluator
  • math

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

Generalized recursion schemes and traversals for Scala.

  • recursion-schemes
  • algebra
  • traversal
  • recursive-structures