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

313–336 of 1,030 · Most stars

mlpack: a fast, header-only C++ machine learning library

  • machine-learning-library
  • c-plus-plus
  • deep-learning
  • nearest-neighbor-search

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Fawkes, privacy preserving tool against facial recognition systems. More info at https://sandlab.cs.uchicago.edu/fawkes

  • privacy-protection
  • privacy-enhancing-technologies
  • face-recognition
  • adversarial-machine-learning

The AsyncAPI specification allows you to create machine-readable definitions of your asynchronous APIs.

A feature complete and high performance multi-group Raft library in Go.

  • raft
  • paxos
  • golang
  • go

AASM - State machines for Ruby classes (plain Ruby, ActiveRecord, Mongoid, NoBrainer, Dynamoid)

  • state-machine
  • ruby
  • aasm
  • transition

A tool used to obfuscate python scripts, bind obfuscated scripts to fixed machine or expire obfuscated scripts.

  • python
  • obfuscation
  • obfuscate
  • python-script