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

7,177–7,200 of 8,419 · Most stars

Java Scientific Computing Library - Signal Processing, FFT, Filters, PSD, DCT, SciPy-like APIs for JVM & Android used in Machine Learning and Data Science.

CatBoost a fast, scalable, high performance Gradient Boosting on Decision Trees library. Golang using Cgo for blazing fast inference CatBoost Model 🚀

Json pretty-print parser based on a recursive lexical analyser

  • c
  • clang
  • json
  • pretty-print

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

  • coq
  • randomized-algorithms
  • probability
  • monad

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

  • coq-plugin
  • large-numbers
  • coq
  • docker-coq-action

Procedural Cross-Platform 3D Tower Defense WebGame with Physics and AI and Procedural Sound

.Net Code Katas - A prebuild Kata project that already includes tests and base classes.

  • kata
  • c-sharp
  • caesar-cipher
  • roman-numerals