Sign in

Repository Index

47,133 repositories indexed

Tags: Programming language
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–24 of 60 · Most stars

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

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).

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

  • ocaml
  • javascript
  • reasonml
  • reason

A fast, powerful, safe and lightweight scripting language and engine for .NET

  • templating
  • templating-language
  • templating-engine
  • handlebars

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

Zephir is a compiled high-level language aimed to ease the creation of C-extensions for PHP

  • zephir
  • phalcon
  • php-internals
  • php-extension

Implementation of Python 3.x for .NET Framework that is built on top of the Dynamic Language Runtime.

  • ironpython
  • dlr
  • c-sharp
  • python