Alternatives and similar repositories for alignment

Users that are interested in alignment are comparing it to the libraries listed below

• jeanqasaur / against-junior-faculty-stress
  ☆68Updated 8 years ago
• rougier / dynamic-som
  Dynamic Self-Organized maps
  ☆22Updated 10 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• kevinconway / pycc
  Python code optimizer.
  ☆21Updated 11 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆34Updated this week
• ilyaraz / ot_estimators
  Implementations of several fast approximate algorithms for geometric optimal transport (OT)
  ☆117Updated 5 years ago
• saagar / parallel-sequitur
  Parallel Sequitur Project
  ☆14Updated 13 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 10 months ago
• m-westphal / gqr
  GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
  ☆18Updated 8 years ago
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆23Updated 4 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Updated 4 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 4 months ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆62Updated last month
• eriksjolund / diagonalsw
  C/C++ implementation of the Smith-Waterman algorithm by using SIMD operations (e.g SSE4.1)
  ☆23Updated 9 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• vinary-tree / liblevenshtein
  Various utilities regarding Levenshtein transducers.
  ☆68Updated 5 years ago
• dritchie / quicksand
  A low-level probabilistic programming framework embedded in Terra.
  ☆29Updated 9 years ago
• baidu-research / catamount
  Catamount is a compute graph analysis tool to load, construct, and modify deep learning models and to symbolically analyze their compute …
  ☆14Updated 4 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆53Updated 4 months ago
• jeanqasaur / research-group-resources
  Resources for people running research groups.
  ☆205Updated 8 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 9 years ago
• jaberg / pyautodiff
  Automatic differentiation for NumPy
  ☆43Updated 12 years ago
• lemire / fastrand
  Fast random number generation in an interval in Python: Up to 10x faster than random.randint.
  ☆122Updated last week
• undefx / vecpy
  Vectorizing Python for concurrent SIMD execution.
  ☆72Updated 10 years ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated last year
• researchsetup / researchsetup.github.io
  ☆44Updated 5 years ago
• cvxgrp / qcml
  A Python parser for generating Python/C/Matlab solver interfaces
  ☆43Updated 8 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 5 years ago
• nbarbey / fht
  Fast Hadamard Transform
  ☆25Updated last year