Deduction framework with arbitrary mathematical system solver.
☆18Oct 10, 2026Updated this week
Alternatives and similar repositories for openmind
Users that are interested in openmind are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆21Jul 31, 2019Updated 7 years ago
- Just a lil' thing I've been working on.☆10Oct 11, 2021Updated 5 years ago
- CU Decision Diagram Package (CUDD, unofficial mirror)☆18Jul 12, 2012Updated 14 years ago
- Chrome extension that allows for navigation of Google Calendar with keyboard shortcuts☆14Nov 9, 2020Updated 5 years ago
- An idiomatic C++ wrapper for the Monocypher crypto library☆14Oct 6, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Sep 21, 2022Updated 4 years ago
- FileManager written in haskell☆15Jan 24, 2020Updated 6 years ago
- 3rd Person RPG project with Unreal Engine 4.21.2☆11Nov 14, 2022Updated 3 years ago
- BMJ's Audo Programming☆10Jul 23, 2021Updated 5 years ago
- Order Book Imbalance trading strategy☆12Nov 21, 2022Updated 3 years ago
- Utilities and immutable collections for functional programming in Golang. This is an experimental library to play with the new Generics …☆10Feb 11, 2024Updated 2 years ago
- ☆12Sep 25, 2021Updated 5 years ago
- Genetic algorithm based crypto trading bot. ui: telegram, platform: binance☆13Mar 17, 2020Updated 6 years ago
- Volterra Integral Equation Solver☆12Feb 3, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Classical adaptive linear filters in Julia☆14Sep 26, 2023Updated 3 years ago
- IEEE TVCG Visual Analytics in Deep Learning Survey☆18Feb 11, 2021Updated 5 years ago
- Qt-based GUI tool for visualization and calculation with the interactive simple graphs☆10Dec 24, 2023Updated 2 years ago
- Liquibook Implementation of Order Book with the CMake build system☆16Jul 2, 2018Updated 8 years ago
- Tools for calculating some Nash equilibria with thesis document☆13Jul 24, 2014Updated 12 years ago
- A C++ based indexer for blockfiles that works on Bitcoin and its derivatives https://blkidx.org/☆10Jan 27, 2022Updated 4 years ago
- A C++ thread pool manager☆18May 3, 2020Updated 6 years ago
- A C++ structure to manage multi-dimensional data efficiently and safely☆13Feb 1, 2026Updated 8 months ago
- This project involves analyzing images of clouds using OpenCV.☆14Dec 21, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆12Jul 24, 2022Updated 4 years ago
- ☆14Mar 15, 2019Updated 7 years ago
- Python bindings for Monocypher crypto library.☆18Updated this week
- Stream easily UserMedia audio and video over websocket☆14May 12, 2022Updated 4 years ago
- A Vamp plugin library for harmony and chord extraction.☆16Apr 24, 2020Updated 6 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Sep 25, 2023Updated 3 years ago
- A python script to solve a n-bus system in the IEEE common data format☆10Apr 12, 2018Updated 8 years ago
- a Binance API cpp wrapper☆13Sep 8, 2024Updated 2 years ago
- Header-Only C++20 Coroutines library☆18Jan 20, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 🔌Circuits Solver is a simple tool to simulate and solve AC circuits....☆13Mar 14, 2019Updated 7 years ago
- Examples and presentation for Pacific++/MeetingC++ talk "Benchmarking C++. From video games to algorithmic trading"☆17Oct 4, 2020Updated 6 years ago
- A bundle of free, open-source audio plugins built with the JUCE framework.☆16Jun 3, 2023Updated 3 years ago
- A collection of cache-friendly data structures in C++, without any dependencies.☆24May 3, 2018Updated 8 years ago
- Show programming language printed values in a web UI☆24May 16, 2019Updated 7 years ago
- This repo covers the first chapter from the tutorial teaching Rust smart contract development on NEAR☆15Jun 25, 2024Updated 2 years ago
- This is a simple sine wave generator project☆13Aug 13, 2016Updated 10 years ago