HaskSymb
Expression manipulator
A proof-of-concept system for manipulating mathematical expressions using a custom language and pattern matching mechanism.
An Experiment in Haskell Symbolic Algebra
72 stars
9 watching
7 forks
Language: Haskell
last commit: over 12 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 asc-community/angourimath | A symbolic algebra library that provides tools for automating mathematical operations and expressions | 785 |
 ekmett/bound | Combinators for manipulating locally-nameless generalized de Bruijn terms | 121 |
 morganstanley/hobbes | An embedded language and JIT compiler for efficient dynamic expression evaluation and data analysis | 1,173 |
 metacoq/metacoq | A tool for formalizing and manipulating Coq terms, providing a foundation for metaprogramming and certified plugins. | 396 |
 crufter/haquery | Allows HTML manipulation and template rendering using CSS selectors familiar to web developers | 65 |
 haskell-waargonaut/waargonaut | A JSON manipulation library for Haskell that provides flexible and precise decoding/encoding tools. | 94 |
 bennypowers/splitjoin.nvim | A tool for manipulating list-like syntax constructs in text editors | 77 |
 shenwei356/csvtk | A toolkit for reading and manipulating CSV and TSV files in a cross-platform way | 1,027 |
 marcosh/crem | A compositional language for designing and executing state machines | 109 |
 cimm-kzn/cgrtools | Tools for processing and manipulating chemical graphs and reactions | 43 |
 jgm/texmath | A Haskell library for converting between various markup formats used to represent mathematics. | 327 |
 plclub/hs-to-coq | A tool that translates Haskell code to equivalent Coq code | 79 |
 magnars/s.el | A string manipulation library for Emacs. | 1,035 |
| plclub/lngen | Tool for generating Coq definitions and proofs for locally nameless representations | 30 |
 jimmycuadra/shellwords | A utility package for manipulating strings according to the word parsing rules of the UNIX Bourne shell. | 38 |