Solving the Expression Problem in C++11
☆45Nov 10, 2012Updated 13 years ago
Alternatives and similar repositories for poly
Users that are interested in poly are comparing it to the libraries listed below
Sorting:
- OSX Boost Library 1.60.0 (i386, x86_64) Pre-compiled with (libc++ and libstdc++ branches) - Boost OSX☆22Mar 28, 2016Updated 9 years ago
- Example code for generating pybind11 bindings with Boost.Hana.☆21Nov 9, 2018Updated 7 years ago
- MPIA Python Tutorial Source☆14May 15, 2012Updated 13 years ago
- Create man pages from information used by Intel Intrinsics Guide and optionally uops.info☆46Dec 16, 2024Updated last year
- Turns signals within a scope into c++ exceptions☆15Nov 8, 2022Updated 3 years ago
- Postgres connectivity for modern C++☆10May 19, 2020Updated 5 years ago
- ☆11Nov 12, 2017Updated 8 years ago
- STM32F4Discovery GCC Template☆10Jul 13, 2015Updated 10 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- ☆50May 15, 2023Updated 2 years ago
- Display file contents in hexadecimal and ASCII.☆15Oct 5, 2019Updated 6 years ago
- ☆39Sep 1, 2015Updated 10 years ago
- WebAssembly specification, reference interpreter, and test suite.☆13Aug 31, 2023Updated 2 years ago
- OMR JIT glue code implementing a Ruby JIT☆11Dec 6, 2016Updated 9 years ago
- Target-independent tools for several byte conversions.☆12Oct 16, 2017Updated 8 years ago
- Prototype of set-theoretic type system, with polymorphism and type inference.☆13Oct 17, 2025Updated 4 months ago
- Code generated C++11/Python/Rust/Go/Bash command line arguments parser, based on protobuf configuration☆10Aug 18, 2024Updated last year
- Abstract Syntax Definition Language (ASDL) ported to C++☆13Aug 9, 2020Updated 5 years ago
- A Basic Geometric library for Type Design☆11Jul 1, 2024Updated last year
- Linux daemon to map HID events to key events☆12Nov 1, 2019Updated 6 years ago
- A library for generating automata from LTL and LDL formulas with finite-trace semantics.☆11Dec 14, 2021Updated 4 years ago
- a.k.a autoMBW-V2☆10Sep 6, 2024Updated last year
- Automates the build of pkgsrc binary packages in a sandbox☆15Mar 14, 2022Updated 3 years ago
- A lua version of bgfx shaderc☆12Oct 1, 2017Updated 8 years ago
- SQLite bindings for Pony☆10Jun 15, 2019Updated 6 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- Simple Haskell simulation to determine best interval to invest in ETF's☆12Jun 13, 2017Updated 8 years ago
- Sublime Text plugin providing code navigation and true intelligence for C and C++.☆17Oct 15, 2014Updated 11 years ago
- XCB-based terminal emulator☆10Aug 12, 2021Updated 4 years ago
- 🎮 A configurable Breakout environment for reinforcement learning☆11Mar 20, 2018Updated 7 years ago
- Git based blog?☆69Feb 26, 2011Updated 15 years ago
- Cross platform string utils (including utf8 uppercase / lowercase for neko and cpp)☆11Apr 7, 2020Updated 5 years ago
- [Todo.txt](http://todotxt.com/) file format parser in Rust☆11Mar 31, 2016Updated 9 years ago
- ☆11Apr 19, 2018Updated 7 years ago
- A Scheme-like, lispy language, implemented in JavaScript.☆23Mar 14, 2010Updated 15 years ago
- Client libraries for the Charter App (available on the Mac App Store)☆21Apr 25, 2012Updated 13 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 2 years ago
- DRNN with LSTM for monaural source separation☆11Mar 19, 2018Updated 7 years ago