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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆23Aug 25, 2017Updated 8 years ago
- Implementation of Pratt parser in C++11☆26Mar 15, 2015Updated 11 years ago
- Reference type checker for the Lean theorem prover☆64Mar 17, 2017Updated 9 years ago
- C++ parser combinator library☆100Jul 2, 2015Updated 11 years ago
- CMU Undergrad Course☆96Feb 18, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Mar 7, 2021Updated 5 years ago
- A JavaScript project that combines the rhythm gameplay of Dance Dance Revolution with an endless runner.☆11Jul 6, 2017Updated 9 years ago
- Lean ported to Javascript with Emscripten☆27Jun 27, 2017Updated 9 years ago
- vimflowy is an implementation of workflowy-style outliner on vim☆14Dec 13, 2012Updated 13 years ago
- ☆12Aug 10, 2018Updated 8 years ago
- Testing framework for C++ template metaprograms☆11May 12, 2015Updated 11 years ago
- Open source audio playrr☆10Feb 6, 2016Updated 10 years ago
- ☆15Oct 23, 2013Updated 12 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- FPGA-based HyperLogLog Accelerator☆12Jul 13, 2020Updated 6 years ago
- Tagged types C++ library☆11Apr 2, 2018Updated 8 years ago
- Haxe UDP multicast library for hxcpp☆11Sep 1, 2018Updated 7 years ago
- Debianizing Haxe☆11Sep 6, 2025Updated 11 months ago
- The Boole Interactive Reasoning Assistant☆32May 9, 2014Updated 12 years ago
- GPU methods for alpha matting, including cutting edge research algorithms by Philip G. Lee.☆12Jan 8, 2014Updated 12 years ago
- Tools for writing Haxe macros☆14Mar 14, 2025Updated last year
- eBPF Tools - Tool for monitoring, performance benchmarking and tracing linux kernel☆17Jan 29, 2021Updated 5 years ago
- A service that can be used with Boost.Asio to asynchronously monitor file events.☆15Nov 1, 2012Updated 13 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Let's create some basic learning examples for Haxe Cppia (scriptable cpp)!☆10Oct 11, 2016Updated 9 years ago
- Interpreter of the Wat language written in Python☆15Jun 6, 2013Updated 13 years ago
- An object-oriented language targeting the Neko VM☆11Jul 3, 2021Updated 5 years ago
- Code Examples for conference talks and other publications☆12Apr 25, 2016Updated 10 years ago
- Modeling the allocation of resources to markets based on the restraints of objective functions☆14Mar 15, 2016Updated 10 years ago
- OpenJDK disassembler plugin for HotSpot JVM (based on binutils)☆10Sep 17, 2014Updated 11 years ago
- Post from vim directly to slack☆13Apr 27, 2021Updated 5 years ago
- Statically evaluate AST branches, return optimized tree.☆11Apr 14, 2017Updated 9 years ago
- Named parameters using meta and macros.☆12Sep 8, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Prepares US state two-region Make and Use tables☆13Apr 23, 2025Updated last year
- A rust Implementation of the SiLabs USBXpress Driver using LibUSB☆10May 1, 2021Updated 5 years ago
- Haxe library for managing rich static data☆13Mar 16, 2018Updated 8 years ago
- Squid service for NZXT Kraken☆10Dec 27, 2016Updated 9 years ago
- ☆12May 2, 2023Updated 3 years ago
- Proposal for the expected class.☆18May 12, 2017Updated 9 years ago
- List of HTTP status codes and reasons☆12Jul 15, 2026Updated 3 weeks ago