symbolic differentiator, partly based on SICP examples. does basic algebraic simplifications on result.
☆44May 17, 2016Updated 10 years ago
Alternatives and similar repositories for symdiff
Users that are interested in symdiff are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Java 7/8 implementations of K nearest neightbour (actually 1-nn)☆10Jun 17, 2014Updated 12 years ago
- MyGUI render system for OpenGL ES 2.0☆20Nov 23, 2013Updated 12 years ago
- Create Debian packages of Unity Engine games☆16Oct 11, 2023Updated 2 years ago
- Convert the Racing Game starter kit to XNA 4.0☆26Mar 27, 2014Updated 12 years ago
- subset-of-C compiler targeting 32-bit x86☆115Apr 22, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- openTRI is a game engine for the PSP, written in pure C. It was an original project by Tomaz, Raphael and InsertWittyName? and was releas…☆10Mar 7, 2012Updated 14 years ago
- A symbolic derivative solver written in C for TI 84+ CE calculators☆30Aug 10, 2019Updated 7 years ago
- Visualize and control your C++ application with a web browser using variables shared over websockets between C++/JS. No dependencies, sin…☆41Oct 1, 2014Updated 11 years ago
- JavaScript (ECMAScript) interpreter for TI-Nspire using Duktape☆22Aug 18, 2018Updated 8 years ago
- Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCaml☆55Aug 13, 2026Updated last month
- the c++ version of cocos3d☆45Nov 24, 2020Updated 5 years ago
- Free-List Memory Pool of fixed-size objects in C99☆49Feb 25, 2023Updated 3 years ago
- x86-64 instruction encoder in Go☆23Nov 2, 2019Updated 6 years ago
- Single file, header-only .OBJ mesh loader with zero dependancies☆51Jan 18, 2016Updated 10 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.
- ☆30Nov 30, 2022Updated 3 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- SMLDoc, detached from the SML# distribution☆11Oct 22, 2011Updated 14 years ago
- ML Basis for Poly/ML☆14Oct 18, 2025Updated 11 months ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 9 years ago
- Concatenate and print files in a Rust byte slice compatible format.☆12Jun 27, 2026Updated 2 months ago
- ☆10May 26, 2016Updated 10 years ago
- a simple concatenative programming language written in C++☆34Nov 14, 2018Updated 7 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.
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 11 years ago
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated 8 months ago
- Compress, decompress and convert texure files using a genetic algorithm. Supports KTX, DDS, ETC2, BC6/BC7 etc.☆62Feb 5, 2018Updated 8 years ago
- A Java based OMeta parser generator.☆28Aug 27, 2010Updated 16 years ago
- TeX Parser in Haskell☆11Aug 12, 2017Updated 9 years ago
- Basic linear algebra for small matrices in C☆12Sep 9, 2025Updated last year
- Texture conversion/compression tool☆72Jun 22, 2017Updated 9 years ago
- Computer Algebra System for .Net☆91Dec 15, 2024Updated last year
- Brokerless task queue for python based on 0Mq☆14Aug 31, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- MicroSqueak and a bytecode compiler written outside of Squeak that could build the entire image from text files.☆27May 27, 2011Updated 15 years ago
- A small lisp compiler / interpreter written using idiomatic C++☆15Apr 16, 2016Updated 10 years ago
- Modern graphing calculator operating system.☆11Sep 20, 2020Updated 6 years ago
- userspace threads and coroutines for C☆17Sep 11, 2015Updated 11 years ago
- Network Programming with CPP by Packt Publishing☆17Jul 11, 2024Updated 2 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 8 years ago
- Network tools written as a Go package☆16Nov 2, 2015Updated 10 years ago