18 skills found
dkubb / AxiomSimplifies querying of structured data using relational algebra
trailofbits / CoBRACoefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation
HarrisonGrodin / Simplify.jlAlgebraic simplification in Julia
JiachenRen / Java Algebra SystemAn extensible, intuitive and easy to use algebra system that is capable of algebraic manipulation, simplification, differentiation, and much more. Reverse engineered from TI-nspire CAS.
bl0ckeduser / Symdiffsymbolic differentiator, partly based on SICP examples. does basic algebraic simplifications on result.
zhcHoward / KmapA simple function to simplify boolean algebra expressions, inspired by Karnaugh Map.
bocaletto-luca / Expression MathExpression-Math is an interactive web application designed to evaluate and visualize mathematical expressions dynamically. The app provides an intuitive interface for users to input algebraic expressions, see their step-by-step simplification, and graph them when applicable.
armancodv / TdmaIn numerical linear algebra, the tridiagonal matrix algorithm, also known as the Thomas algorithm (named after Llewellyn Thomas), is a simplified form of Gaussian elimination that can be used to solve tridiagonal systems of equations.
Sudhaanshuu / KmapKarnaugh map, commonly referred to as K-map, is a graphical tool used in digital circuit design to simplify Boolean algebra expressions. The map consists of a grid of cells, where each cell represents a unique combination of input variables. K-maps are typically used for up to four input variables.
numbas / LissaJSAn algebra parsing, evaluation and simplification system written entirely in JavaScript.
MultivariatePolynomialSystems / DecomposingPolynomialSystems.jlDecomposingPolynomialSystems.jl is a Julia package that decomposes (simplifies) a given polynomial system using tools from numerical algebraic geometry.
chriswestbrown / QepcadQepcadB is a system for quantifier elimination, formula simplification and other operations in real algebra and geometry.
FlorisSteenkamp / FloBooleanBoolean operations on planar algebraic curves (currently only simplification is supported).
jobjo / FSharp.UniplatePort of the Haskell Uniplate library to F#. Simplifies transformations over recursive algebraic data types.
bloodyowl / 2021 01 Types TalkCode example for my "Simplify your UI management with (algebraic data) types" talk given at ParisJS
hubernikus / Various ToolsVarious tools from linear algebra to vector spaces to simplify and speed up computation.
evtn / Matloga tiny boolean algebra expressions parser and solver (sometimes it can even simplify expressions)
Andrew-Miner / Bool Simplifier WebsiteBoolean Algebra Simplifier is a single-page React application that reduces boolean expressions to their minimum sum-of-products representations; showing each step along the way.