Sign in

Repository Index

47,133 repositories indexed

Tag: Programming languages and compilers
Tag
Filters

Filters

Clear all filters

1–24 of 37 · 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

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.

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

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

A TypeScript-first, runtime-agnostic command-line toolkit for Deno, Node.js and Bun: featuring a command framework, argument parser, interactive prompts, tables, ANSI utilities, and more.

To help gophers generate QR Codes with customized styles, such as color, block size, block shape, and icon.

  • qrcode
  • golang
  • colorful
  • adjustable

Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^