LRudL/lambda-engine

Stars
2
Language
Racket
License
MIT License
Created over 3 years ago
Updated over 3 years ago

LRudL/lambda-engine

LRudL

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Lambda calculus interpreter and pretty-printer, plus definitions for a lambda calculus in lambda calculus

evalugator

(Model-written) LLM evals library

sad

Situational Awareness Dataset

fine-tuna

Helper library for fine-tuning LLMs through e.g. OpenAI's API

ozytree

Tree-based CLI task tracker ("to-do-tree" program)

gninvert

Experiments and tools for symbolic rule extraction from graph neural networks

Jupyter Notebook