Alternatives and similar repositories for polynomial-approximation-catalogue

Users that are interested in polynomial-approximation-catalogue are comparing it to the libraries listed below

• charliermarsh / OCaml-SAT-Solvers

  View on GitHub
  An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.
  ☆19Sep 5, 2014Updated 11 years ago
• GrammaTech / cl-smt-lib

  View on GitHub
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆20Mar 24, 2022Updated 3 years ago
• kmicinski / program-analysis

  View on GitHub
  Program analysis grad seminar at SU (2019)
  ☆57Mar 2, 2020Updated 5 years ago
• bollu / discrete-differential-geometry

  View on GitHub
  An elegant implementation of discrete diffgeo in haskell
  ☆34Jan 12, 2020Updated 6 years ago
• CakeML / hardware

  View on GitHub
  Verilog development and verification project for HOL4
  ☆28Apr 25, 2025Updated 9 months ago
• ptarau / TypesAndProofs

  View on GitHub
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Feb 2, 2026Updated last week
• pkhuong / Xecto

  View on GitHub
  80% xectors
  ☆47Feb 5, 2022Updated 4 years ago
• plum-umd / cgc

  View on GitHub
  Constructive Galois connections
  ☆36Mar 26, 2018Updated 7 years ago
• calebegg / proof-pad

  View on GitHub
  A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
  ☆11Jul 15, 2024Updated last year
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• TheSignPainter98 / vex

  View on GitHub
  A blazingly-fast, hackable linter
  ☆10Apr 15, 2025Updated 10 months ago
• voidspace / talks

  View on GitHub
  ☆10Jan 16, 2025Updated last year
• CohenCyril / LFTCM2024_Rocq

  View on GitHub
  Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024
  ☆13Mar 28, 2024Updated last year
• Z3Prover / doc

  View on GitHub
  Documentation
  ☆44Nov 2, 2025Updated 3 months ago
• logic-tools / sml-handbook

  View on GitHub
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Jan 8, 2017Updated 9 years ago
• ianjauslin-rutgers / pythagoras4

  View on GitHub
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Dec 1, 2023Updated 2 years ago
• rodrimati1992 / type_level

  View on GitHub
  Libraries for declaring and using type-level values.
  ☆11Mar 28, 2019Updated 6 years ago
• mattjj / ode-diff-notes

  View on GitHub
  ☆12Oct 8, 2020Updated 5 years ago
• voodoos / mlts

  View on GitHub
  ☆11Dec 9, 2022Updated 3 years ago
• redsand / gr-ppm-wiegand

  View on GitHub
  GnuRadio PPM (Differential Pulse Position Modulation/Demodulation) plugin
  ☆12Mar 27, 2020Updated 5 years ago
• webyrd / summer-scheming

  View on GitHub
  Summer Scheming!!!!!!
  ☆11Aug 20, 2020Updated 5 years ago
• sinanmohd / evanix

  View on GitHub
  Nix build Scheduler
  ☆11Nov 24, 2025Updated 2 months ago
• rbran / sleigh3rust

  View on GitHub
  A demontration of disassemblers generated by sleigh2rust
  ☆13Nov 25, 2024Updated last year
• guicho271828 / eazy-process

  View on GitHub
  Yet Another Portable Library for Process Handling / Subshell Invokation
  ☆10Aug 1, 2020Updated 5 years ago
• opencompl / xdsl-smt

  View on GitHub
  The implementation of an SMTLib dialect for xDSL
  ☆17Updated this week
• yihozhang / egraph-sqlite

  View on GitHub
  egraph on top of sqlite
  ☆13Mar 8, 2022Updated 3 years ago
• latte-central / latte-kernel

  View on GitHub
  The (very) small kernel of the LaTTe proof assistant
  ☆12Mar 13, 2025Updated 11 months ago
• friguzzi / matrix

  View on GitHub
  Operations with matrices, SWI pack
  ☆13Dec 11, 2023Updated 2 years ago
• validsdp / validsdp

  View on GitHub
  A Coq tactic for proving multivariate inequalities using SDP solvers
  ☆12Feb 3, 2026Updated last week
• jrmarino / libsodium-ada

  View on GitHub
  libsodium for Ada - A secure cryptographic library
  ☆10Jul 18, 2016Updated 9 years ago
• rafael-santiago / kook

  View on GitHub
  A syscall hooking system for FreeBSD, NetBSD and also Linux.
  ☆16Nov 14, 2021Updated 4 years ago
• trailofbits / divergent-representations

  View on GitHub
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Feb 3, 2023Updated 3 years ago
• langston-barrett / duckalog

  View on GitHub
  Datalog engine based on DuckDB
  ☆10Mar 8, 2023Updated 2 years ago
• Kha / do-supplement

  View on GitHub
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Feb 15, 2025Updated last year
• jrmarino / zstd-ada

  View on GitHub
  Zstandard for Ada - Fast real-time compression algorithm
  ☆16Feb 3, 2023Updated 3 years ago
• nix-community / label-approved

  View on GitHub
  a program to label approved PRs in nixpkgs [maintainer=@Artturin,@wegank]
  ☆16Nov 27, 2025Updated 2 months ago
• liquidware / antipasto_arduino

  View on GitHub
  A Liquidware Arduino Distribution
  ☆29Jan 27, 2012Updated 14 years ago
• monadius / ocaml_simple_interval

  View on GitHub
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10May 31, 2022Updated 3 years ago
• brianray / Chipy

  View on GitHub
  ☆20Oct 24, 2012Updated 13 years ago