elsa
by ucsd-progsys
Elsa is a lambda calculus evaluator
AI summary
Calculation Evaluator
An evaluator for a minimal calculus designed to study reduction and computation-by-substitution in lambda calculus.
- stars
- 181
- forks
- 21
- watching
- 7
Similar projects
Found by comparing what the projects do, not just their names.
Expression Evaluator
An implementation of a simple floating point arithmetic expression evaluator in Go.
Lambda calculator
Compiles Annah expressions into Morte expressions and provides a Haskell implementation of lambda calculus
maja42/goval160
Expression evaluator
A Go library for evaluating arbitrary arithmetic, string, and logic expressions with support for variables and custom functions.
λ-calculus compiler
Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic
Evaluator
An automatic evaluation tool for large language models
Expression Evaluator
An expression parser and evaluator for Elm language, used to evaluate logical expressions in educational software.
OCR evaluator
A collection of tools and utilities for evaluating the performance and quality of OCR output
pydata/numexpr2.3K
Array expression evaluator
An expression evaluator for arrays in scientific computing and data analysis
Model Evaluator
Evaluates language models using standardized benchmarks and prompting techniques.
Expression Compiler
An embedded language and JIT compiler for efficient dynamic expression evaluation and data analysis
expression evaluator
An expression evaluation library for Go that supports arbitrary expressions and parameters
Evaluator
An expression evaluator library written in Go.
obss/jury187
NLP evaluator
A comprehensive toolkit for evaluating NLP experiments offering automated metrics and efficient computation.
maluuba/nlg-eval1.4K
Model evaluator
A toolset for evaluating and comparing natural language generation models
RAG model evaluator
A tool for automatically evaluating RAG models by generating synthetic data and fine-tuning classifiers
