elsa
Calculation Evaluator
An evaluator for a minimal calculus designed to study reduction and computation-by-substitution in lambda calculus.
Elsa is a lambda calculus evaluator
181 stars
7 watching
21 forks
Language: Haskell
last commit: 9 months ago haskellhaskell-learninglambda-calculusreduction
Related projects:
| Repository | Description | Stars |
|---|---|---|
 soniah/evaler | An implementation of a simple floating point arithmetic expression evaluator in Go. | 51 |
 gabriella439/haskell-annah-library | Compiles Annah expressions into Morte expressions and provides a Haskell implementation of lambda calculus | 91 |
 maja42/goval | A Go library for evaluating arbitrary arithmetic, string, and logic expressions with support for variables and custom functions. | 160 |
 thma/lambda-ski | Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic | 28 |
 tatsu-lab/alpaca_eval | An automatic evaluation tool for large language models | 1,568 |
 ccapndave/elm-eexl | An expression parser and evaluator for Elm language, used to evaluate logical expressions in educational software. | 2 |
 eddieantonio/ocreval | A collection of tools and utilities for evaluating the performance and quality of OCR output | 57 |
 pydata/numexpr | An expression evaluator for arrays in scientific computing and data analysis | 2,255 |
 openai/simple-evals | Evaluates language models using standardized benchmarks and prompting techniques. | 2,059 |
 morganstanley/hobbes | An embedded language and JIT compiler for efficient dynamic expression evaluation and data analysis | 1,173 |
 paesslerag/gval | An expression evaluation library for Go that supports arbitrary expressions and parameters | 758 |
 nullne/evaluator | An expression evaluator library written in Go. | 41 |
 obss/jury | A comprehensive toolkit for evaluating NLP experiments offering automated metrics and efficient computation. | 187 |
 maluuba/nlg-eval | A toolset for evaluating and comparing natural language generation models | 1,350 |
 stanford-futuredata/ares | A tool for automatically evaluating RAG models by generating synthetic data and fine-tuning classifiers | 499 |