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 | 784 |
 ekmett/bound | Combinators for manipulating locally-nameless generalized de Bruijn terms | 122 |
 morganstanley/hobbes | A language and embedded JIT compiler for efficient dynamic expression evaluation and data storage | 1,168 |
 metacoq/metacoq | A tool for formalizing and manipulating Coq terms, providing a foundation for metaprogramming and certified plugins. | 382 |
 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 | 76 |
 shenwei356/csvtk | A toolkit for efficient and practical manipulation of CSV/TSV files in Golang. | 1,017 |
 marcosh/crem | A compositional language for designing and executing state machines | 108 |
 cimm-kzn/cgrtools | A set of tools for manipulating chemical graphs and reactions using the Condensed Graph of Reaction (CGR) approach. | 43 |
 jgm/texmath | A Haskell library for converting between various markup formats used to represent mathematics. | 322 |
 plclub/hs-to-coq | A tool that translates Haskell code to equivalent Coq code | 78 |
 magnars/s.el | A string manipulation library for Emacs. | 1,031 |
| 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 |