My git repository of the official SymbolicC++ release
☆23Feb 15, 2020Updated 6 years ago
Alternatives and similar repositories for SymbolicCpp
Users that are interested in SymbolicCpp are comparing it to the libraries listed below
Sorting:
- A C++ computer algebra (symbolic computation) library.☆18Aug 7, 2024Updated last year
- Nothing Special☆11Apr 16, 2024Updated last year
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- A replacement for rand()/srand() that's ~700% faster and typically has better statistical distribution. An adaptationof Melissa O'Neill's…☆20Apr 10, 2024Updated last year
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Aug 22, 2025Updated 6 months ago
- ☆14Jul 15, 2015Updated 10 years ago
- Dock widgets implementation for QML☆25Jul 10, 2025Updated 7 months ago
- منابع پیشنهادی یادگیری فرانتاند☆24Feb 27, 2023Updated 3 years ago
- A compile-time Computer Algebra System (CAS) library (with some geometry)☆21Feb 15, 2023Updated 3 years ago
- ☆23Mar 6, 2024Updated last year
- My Lovely Wallpapers (do not credit me, I'm not their owner)☆18Jul 31, 2021Updated 4 years ago
- ☆10Jun 29, 2021Updated 4 years ago
- C++ Faking library, which allows faking/mocking regular functions, static member functions and non-virtual member functions for testing p…☆28May 7, 2025Updated 9 months ago
- Config files for my GitHub profile.☆32Dec 1, 2022Updated 3 years ago
- Node JS Captcha Production Module☆34Sep 1, 2022Updated 3 years ago
- Enumerating all of the Undefined Behavior in C++☆38Apr 26, 2022Updated 3 years ago
- Compute Benchmarks for oneAPI Level Zero and OpenCL™ Driver☆41Updated this week
- C++ template containers with optimized memory consumption☆12Updated this week
- A series of the ML formula derivation notes☆10Dec 23, 2021Updated 4 years ago
- VExtension for NTCore Explorer Suite aka CFF Explorer☆40Jun 6, 2022Updated 3 years ago
- 一个支持跨模态大语言模型的webui. A chatbot webui that supports various multi-modal large language models☆11May 8, 2023Updated 2 years ago
- Bare-metal programming for the SMT32 Microcontrollers using the HAL library. Drivers for DMA,ADC,UART,TIMERS, GPIO,SPI,I2C,RTC,SysTick☆16Jul 16, 2023Updated 2 years ago
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 8 months ago
- ☆11Jul 13, 2022Updated 3 years ago
- 只要给物体画上一个方框，就可以在视频中去除这个物体并修复视频☆11Apr 5, 2022Updated 3 years ago
- Mirror of Apache HTTP Request Library☆11Feb 19, 2024Updated 2 years ago
- interprets lambda calculus☆10Dec 1, 2025Updated 3 months ago
- EduLint is a Python linter aimed at helping novice programmers improve their coding style.☆12Jan 24, 2026Updated last month
- SymPP: A Symbolic Library that compiles itself☆13Nov 23, 2020Updated 5 years ago
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- Monadic Error Handling for Python☆11Aug 29, 2024Updated last year
- Collection of simple General Matrix Multiplication - GEMM implementations☆13Feb 26, 2024Updated 2 years ago
- ☆13Jan 5, 2026Updated last month
- A set of tools for Dynamic Design Patterns in Python☆11Oct 6, 2023Updated 2 years ago
- The main third-party documentation of communication protocols used by Texas Instruments graphing calculators and implemented by libticalc…☆14Mar 29, 2015Updated 10 years ago
- Concept of Dynamic Application☆10Oct 15, 2021Updated 4 years ago
- Utility plugin for Space Engineers, allowing direct debugging of Programmable Block scripts via Space Engineers. Designed for MDK project…☆10Dec 6, 2025Updated 2 months ago
- A 3d multiplayer deathmatch space game written in D 2.0☆18Jun 11, 2014Updated 11 years ago
- A Simple Software Synthesizer With a Qt Interface☆11Jul 4, 2023Updated 2 years ago