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: 5 months ago haskellhaskell-learninglambda-calculusreduction
Related projects:
| Repository | Description | Stars |
|---|---|---|
 soniah/evaler | Evaluates simple arithmetic expressions using Dijkstra's Shunting Yard algorithm | 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. | 159 |
 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,526 |
 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 | Fast numerical expression evaluator for NumPy and other libraries | 2,238 |
 openai/simple-evals | A library for evaluating language models using standardized prompts and benchmarking tests. | 1,939 |
 morganstanley/hobbes | A language and embedded JIT compiler for efficient dynamic expression evaluation and data storage | 1,168 |
 paesslerag/gval | An expression evaluation library for Go that supports arbitrary expressions and parameters | 743 |
 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. | 188 |
 maluuba/nlg-eval | A toolset for evaluating and comparing natural language generation models | 1,347 |
 stanford-futuredata/ares | A tool for automatically evaluating RAG models by generating synthetic data and fine-tuning classifiers | 483 |