Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

433–456 of 522 · Most stars

An Ada 2012 implementation of the Rx methodology

  • rx
  • rxjava
  • rxada
  • reactive-programming

A patched version of Streampunk/sdpoker with additional source-filter testing and bug fixes, used by AMWA-TV/nmos-testing

GoStats is a go library for math statistics mostly used in ML domains, it covers most of the statistical measures functions.

🔒 A simple neovim plugin that allows the user to temporarily lock the paste register to "0, and use 'd', 'c', 'x', and 's' motions while keeping the most recent yanked content easily accessible.

The most complete list class for GameMaker Studio 2.3+. GC-friendly, [  ] accessor, 50+ functions (add, remove, insert, contains, find, sort, shuffle, reverse, etc.) and reference as array.

Pure random data generation library, appropriate for realistic simulations in the Erlang ecosystem

  • gleam
  • gleam-lang
  • erlang
  • elixir

AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.

Elixir client for Disque (https://github.com/antirez/disque), an in-memory, distributed job queue.

This is a Crystal implementation of a Splay Tree; which is a type of binary search tree that is semi-balanced and that tends to self-optimize so that the most accessed items are the fastest to retrieve.

Logi is light-weight C++ Vulkan abstraction framework, which attempts to bridge the gap between previous graphics APIs and Vulkan by making API easier to use while still preserving Vulkan semantics and introducing as little overhead as possible.

  • vulkan
  • vulkan-wrapper
  • vulkan-library
  • vulkan-cpp

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