A catalogue of efficient and accurate polynomial approximations
☆17Feb 5, 2022Updated 4 years ago
Alternatives and similar repositories for polynomial-approximation-catalogue
Users that are interested in polynomial-approximation-catalogue are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆21Mar 24, 2022Updated 4 years ago
- Assembly-optimized Marvin32 hash function☆12Jan 17, 2024Updated 2 years ago
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆20Sep 5, 2014Updated 12 years ago
- An elegant implementation of discrete diffgeo in haskell☆34Jan 12, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Convolutional Neural Network Cascade for Face Detection☆14May 29, 2016Updated 10 years ago
- Verilog development and verification project for HOL4☆28Apr 25, 2025Updated last year
- Go implementation of Google's HighwayHash☆75Mar 9, 2021Updated 5 years ago
- A library for garbage collection in Rust.☆13Apr 23, 2021Updated 5 years ago
- `boxy` - declarative box-drawing characters☆13May 15, 2023Updated 3 years ago
- A tool to extract plain text from HTML pages☆10Dec 7, 2017Updated 8 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆33Jan 5, 2025Updated last year
- An mtl-style typeclass and transformer for persistent☆11Sep 18, 2018Updated 8 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆14Nov 9, 2021Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Command line interface to the NVIDIA OpenCL compiler☆22Jan 28, 2018Updated 8 years ago
- Program analysis grad seminar at SU (2019)☆57Mar 2, 2020Updated 6 years ago
- Caffe: a fast open framework for deep learning.☆14Jun 2, 2016Updated 10 years ago
- 80% xectors☆47Feb 5, 2022Updated 4 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆37Jan 8, 2017Updated 9 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- Algorithm for locating anagrams and evaluating their quality☆13May 11, 2017Updated 9 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 9 years ago
- libsodium for Ada - A secure cryptographic library☆12Jul 18, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An implementation of the Skein hash function for ARMv7 with NEON☆14Nov 16, 2011Updated 14 years ago
- Microemacs (aka uemacs) v2.0 text editor by Dave Conroy from 1985. Updated to compile on Windows and Linux.☆16Sep 15, 2022Updated 4 years ago
- A Common Lisp HTTP Server.☆11Apr 6, 2020Updated 6 years ago
- Common Lisp PostGIS EWKB data model and encoder/decoder☆14Jun 8, 2011Updated 15 years ago
- Idris YAML lib☆10Jan 25, 2018Updated 8 years ago
- Topological sort algorithm☆15Jul 10, 2026Updated 3 months ago
- Lisp Interface to Federal Reserve Economic Data (FRED®)☆12Aug 6, 2015Updated 11 years ago
- David McClain's 'Actors' package for LispWorks☆13Dec 12, 2017Updated 8 years ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆35Sep 1, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆16Aug 12, 2023Updated 3 years ago
- ☆27Mar 13, 2025Updated last year
- XLA integration of Open Neural Network Exchange (ONNX)☆19Aug 17, 2018Updated 8 years ago
- OPNsense fork of the original DragonFlyBSD installer☆15Jan 12, 2021Updated 5 years ago
- Constructive Galois connections☆35Mar 26, 2018Updated 8 years ago
- An app and set of methodologies designed to evaluate the performance of various Large Language Models (LLMs) on the text-to-SQL task. Our…☆19May 13, 2025Updated last year
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 8 months ago