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

vlang /v

V38K2.3K

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.

  • markdown
  • markup-language
  • paper
  • scripting-language

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

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

  • pattern-matching
  • typescript
  • ts
  • pattern

A configuration as code language with rich validation and tooling.

  • pkl
  • java
  • kotlin
  • config

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

Hyperscript Tagged Markup: JSX alternative using standard tagged templates, with compiler support.

SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.

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.