Sign in

Repository Index

78,850 visible repositories in the index

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

241–264 of 422 · Most stars

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: ^^^

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.

Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land

  • promise
  • fantasy-land
  • async
  • asynchronous

A high-performance engine for engineering math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.

Extension of the Elixir standard library focused on data stuctures, data manipulation and performance

  • elixir
  • persistent-vectors
  • ordered-map
  • util