Slides and Source Code from "Demystifying Floating Point Numbers" given at CPPCon 2015.
☆21Sep 24, 2015Updated 10 years ago
Alternatives and similar repositories for CPPCon2015
Users that are interested in CPPCon2015 are comparing it to the libraries listed below
Sorting:
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆22Aug 25, 2017Updated 8 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- Implementation of Pratt parser in C++11☆26Mar 15, 2015Updated 10 years ago
- Code base for the practitioner's guide to the ONC algorithm paper published with the Journal of Financial Data Science☆20Jun 8, 2023Updated 2 years ago
- BERT Sentiment Classification on the IMDb Large Movie Review Dataset.☆16Sep 8, 2022Updated 3 years ago
- Arena offers the best engagement tools to grow your website. Liveblog, Live Chat and Wordpress widgets to increase traffic and earn reven…☆11Sep 21, 2023Updated 2 years ago
- Elixir's webhook for Slack☆14May 14, 2018Updated 7 years ago
- A service that can be used with Boost.Asio to asynchronously monitor file events.☆15Nov 1, 2012Updated 13 years ago
- A rust Implementation of the SiLabs USBXpress Driver using LibUSB☆10May 1, 2021Updated 4 years ago
- Prepares US state two-region Make and Use tables☆13Apr 23, 2025Updated 10 months ago
- A JavaScript project that combines the rhythm gameplay of Dance Dance Revolution with an endless runner.☆11Jul 6, 2017Updated 8 years ago
- A bookmarklet that shows the ordering on the directed edges of your facebook friends☆30Mar 28, 2013Updated 12 years ago
- GPU methods for alpha matting, including cutting edge research algorithms by Philip G. Lee.☆12Jan 8, 2014Updated 12 years ago
- ☆13Sep 9, 2024Updated last year
- Exchange Python-Graph-Objects between networkx, igraph and graph-tools☆12Mar 15, 2024Updated last year
- Moesif Middleware for Python Django, for API Monitoring, Analytics, and Monetization.☆11Jul 12, 2025Updated 7 months ago
- Depth C++ library☆10Nov 15, 2018Updated 7 years ago
- ☆10May 2, 2023Updated 2 years ago
- Use AI to ensure your resume passes ATS keyword screening.☆11Mar 27, 2024Updated last year
- A ringbuffer implementation in golang☆10Mar 31, 2021Updated 4 years ago
- Erq - Easy Relational Query Language☆12Nov 12, 2025Updated 3 months ago
- openai-translator-swiftui using chatgpt api☆10Oct 13, 2023Updated 2 years ago
- Squid service for NZXT Kraken☆10Dec 27, 2016Updated 9 years ago
- HTTPFS extension for DuckDB. Adds support for an HTTPFileSytem and S3FileSystem.☆19Nov 4, 2024Updated last year
- Post from vim directly to slack☆13Apr 27, 2021Updated 4 years ago
- OpenJDK disassembler plugin for HotSpot JVM (based on binutils)☆10Sep 17, 2014Updated 11 years ago
- An object-oriented language targeting the Neko VM☆11Jul 3, 2021Updated 4 years ago
- FPGA-based HyperLogLog Accelerator☆12Jul 13, 2020Updated 5 years ago
- Statically evaluate AST branches, return optimized tree.☆11Apr 14, 2017Updated 8 years ago
- Kalman Filter, Smoother, and EM Algorithm for Python☆12Sep 4, 2023Updated 2 years ago
- eBPF Tools - Tool for monitoring, performance benchmarking and tracing linux kernel☆16Jan 29, 2021Updated 5 years ago
- Debianizing Haxe☆11Sep 6, 2025Updated 6 months ago
- Haxe/Javascript type definitions for google apps scripts☆16Aug 25, 2021Updated 4 years ago
- iOS client for working with Quizlet API 2.0☆10May 31, 2016Updated 9 years ago
- Tools for writing Haxe macros☆14Mar 14, 2025Updated 11 months ago
- Slides on memory and caches☆14May 9, 2024Updated last year
- Tagged types C++ library☆11Apr 2, 2018Updated 7 years ago
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Mar 5, 2021Updated 5 years ago