Sign in

Repository Index

47,133 repositories indexed

Tag: Programming languages and compilers
Tag
Filters

Filters

Clear all filters

1–24 of 108 · Most stars

A virtual machine for executing programs written in Hack.

  • hhvm
  • php
  • hack
  • hacklang

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

Qt binding for Go (Golang) with support for Windows / macOS / Linux / FreeBSD / Android / iOS / Sailfish OS / Raspberry Pi / AsteroidOS / Ubuntu Touch / JavaScript / WebAssembly

  • go
  • gui-framework
  • qt
  • cross-platform-gui

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.

SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.

Run .NET and Node.js code in-process on Windows, MacOS, and Linux