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:
- subset-of-C compiler targeting 32-bit x86☆115Apr 22, 2023Updated 3 years ago
- Solving sudoku as a SAT problem☆22Oct 23, 2026Updated last week
- A Scrabble game for Linux against an AI opponent☆12Mar 24, 2015Updated 11 years ago
- Carbon is an open-source cross-platform game and visualization engine.☆14Sep 4, 2024Updated 2 years ago
- Java 7/8 implementations of K nearest neightbour (actually 1-nn)☆10Jun 17, 2014Updated 12 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.
- Generic C++ microwidgets for UI development. (proof of concept)☆15Feb 19, 2014Updated 12 years ago
- Haskell implementation of the categorical abstract machine☆14Apr 27, 2017Updated 9 years ago
- A "small" LISP interpreter written in C++☆12Dec 12, 2014Updated 11 years ago
- OMeta for Lua☆13Feb 11, 2021Updated 5 years ago
- An object-oriented programming language that thinks functionally☆10Mar 23, 2026Updated 7 months ago
- Concatenate and print files in a Rust byte slice compatible format.☆12Jun 27, 2026Updated 4 months ago
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated last month
- ☆14Jun 27, 2012Updated 14 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 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.
- a simple concatenative programming language written in C++☆34Nov 14, 2018Updated 7 years ago
- A Ruby DSL for concatenative programming☆13Apr 19, 2009Updated 17 years ago
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 11 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 9 years ago
- A concurrent, object-oriented, functional programming language with a very strong type system. NOTE: Not to be confused with http://atomo…☆13May 27, 2009Updated 17 years ago
- Create Debian packages of Unity Engine games☆16Oct 11, 2023Updated 3 years ago
- Design by contract for Go☆16Mar 13, 2025Updated last year
- TeX Parser in Haskell☆11Aug 12, 2017Updated 9 years ago
- MyGUI render system for OpenGL ES 2.0☆20Nov 23, 2013Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Lisp-like language implemented in C++☆76Jan 26, 2023Updated 3 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- Basic linear algebra for small matrices in C☆12Updated this week
- userspace threads and coroutines for C☆17Sep 11, 2015Updated 11 years ago
- Brainfuck with Actors☆36Jan 2, 2019Updated 7 years ago
- SMLDoc, detached from the SML# distribution☆11Oct 22, 2011Updated 15 years ago
- A Sass compiler in Rust☆26Jan 28, 2019Updated 7 years ago
- Quickly navigate and resize i3wm windows and Neovim splits with the same keybindings☆12Mar 7, 2026Updated 7 months ago
- MicroSqueak and a bytecode compiler written outside of Squeak that could build the entire image from text files.☆27May 27, 2011Updated 15 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated 9 months ago
- The Filesystem Interface to Git FileSystem☆13Nov 12, 2009Updated 16 years ago
- A small lisp compiler / interpreter written using idiomatic C++☆15Apr 16, 2016Updated 10 years ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆39May 7, 2012Updated 14 years ago
- Xcas Pad for IOS☆10May 2, 2014Updated 12 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 12 years ago
- functional programming language 2☆10Jul 18, 2013Updated 13 years ago