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 95 · 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 🚀

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

C# pure functional programming framework - come and get declarative!

  • c-sharp
  • functional-languages
  • monads
  • monad-transformers

Duktape - embeddable Javascript engine with a focus on portability and compact footprint

  • javascript-engine
  • javascript
  • duktape

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.

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Database Markup Language (DBML), designed to define and document database structures

  • dbx
  • database-schema
  • dbml

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

Fast, portable, non-Turing complete expression evaluation with gradual typing (Go)

  • golang
  • go
  • cel
  • expression

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

Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.

  • java
  • eclipse-collections
  • java-collections
  • collections

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

  • clang
  • cpp
  • c
  • clang-tidy