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

🐜🐜🐜 ants is the most powerful and reliable pooling solution for Go.

  • goroutine-pool
  • goroutine
  • pool
  • go

The most widely used Python to C compiler

  • python
  • cython
  • cpython
  • cpython-extensions

Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.

  • gno
  • gnoland
  • gnolang
  • bft

Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.

  • ramda
  • addons
  • adjunct
  • cookbook

Utility library for functional programming in Lua

  • lua
  • underscore
  • functional-programming
  • table

♻️ The most advanced interruptible mechanism to perform actions repetitively until successful.

  • go
  • library
  • module
  • retry

The asynchronous version of Elixir's "with", resolving the dependency graph and executing the clauses in the most performant way possible!

  • elixir
  • async

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

  • coq
  • complex-analysis
  • real-analysis

Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)