aria2 is a lightweight multi-protocol & multi-source, cross platform download utility operated in command-line. It supports HTTP/HTTPS, FTP, SFTP, BitTorrent and Metalink.

Linear algebra for Nim

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,…

Customizable Windows terminal with tabs, splits, quake-style, hotkeys and more

A lightning fast JavaScript grid/spreadsheet

Some benchmarks of different languages

[unmaintained] A Pacman frontend with more features and AUR support

Lightweight library to build and train neural networks in Theano

This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github…

A Coq library for Homotopy Type Theory

PyStan, the Python interface to Stan

Lean Theorem Prover

Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica

A bundler for javascript and friends. Packs many modules into a few bundled assets. Code Splitting allows for loading parts of the application on demand. Through "loaders", modules can be CommonJs,…

🍹 Run webpack through a stream interface

The fast, flexible, and elegant library for parsing and manipulating HTML and XML.

A set of extensions for Nemo

Haxe - The Cross-Platform Toolkit

Sweeten your JavaScript.

Watch, that actually is an endless stream

💀 A code coverage tool for ES6 (babel/6to5)

A browser extension for auto loading paginated web pages.

Firefox Profile creation using nodejs and CLI

🔮 An easy-to-use JavaScript unit testing framework.

🐠 Babel is a compiler for writing next generation JavaScript.

Checkout all LXQt components at once by using git submodule. Discussions, Wiki and general issues are here.

Traceur is a JavaScript.next-to-JavaScript-of-today compiler