HaskSymb
by colah
An Experiment in Haskell Symbolic Algebra
AI summary
Expression manipulator
A proof-of-concept system for manipulating mathematical expressions using a custom language and pattern matching mechanism.
- stars
- 72
- forks
- 7
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
Symbolic manipulator
A symbolic algebra library that provides tools for automating mathematical operations and expressions
ekmett/bound121
Term manipulator
Combinators for manipulating locally-nameless generalized de Bruijn terms
Expression Compiler
An embedded language and JIT compiler for efficient dynamic expression evaluation and data analysis
Coq manipulator
A tool for formalizing and manipulating Coq terms, providing a foundation for metaprogramming and certified plugins.
Selector-based HTML manipulator
Allows HTML manipulation and template rendering using CSS selectors familiar to web developers
JSON manipulator
A JSON manipulation library for Haskell that provides flexible and precise decoding/encoding tools.
Syntax manipulator
A tool for manipulating list-like syntax constructs in text editors
CSV toolkit
A toolkit for reading and manipulating CSV and TSV files in a cross-platform way
marcosh/crem109
State machine tool
A compositional language for designing and executing state machines
Chemical graph tools
Tools for processing and manipulating chemical graphs and reactions
jgm/texmath327
Markup converter library
A Haskell library for converting between various markup formats used to represent mathematics.
Haskell to Coq converter
A tool that translates Haskell code to equivalent Coq code
String manipulator
A string manipulation library for Emacs.
Coq generator
Tool for generating Coq definitions and proofs for locally nameless representations
String manipulator
A utility package for manipulating strings according to the word parsing rules of the UNIX Bourne shell.
