Kai Fronsdal's repositories
Language:JavaScript000
Language:Kotlin000
CAS-for-TI84Plus-CE
Creating a computer algebra system for the TI84Plus-CE varient. First creating CAS in JS to to test, then rewriting for calculator.
Language:JavaScript000
Language:JuliaMIT000
Language:PythonMIT000
k-pycoq
python API to coq-serapi
Language:CoqMIT000
Language:Jupyter Notebook000
evaporate
This repo contains data and code for the paper "Language Models Enable Simple Systems for Generating Structured Views of Heterogeneous Data Lakes"
Language:Python000
Language:Python000
Language:JavaScript000
ICLTP
In Context Learning For Theorem Proving
Language:Jupyter Notebook000
Language:CSSNOASSERTION000
manifest
Prompt programming with FMs.
Language:PythonApache-2.0000
Language:JavaScript000
pandas
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
Language:PythonBSD-3-Clause000
Language:JavaScript000
scripts
Assortment of useful scripts
MIT000
Language:Jupyter Notebook000
Language:JavaScript000
000
TheoremSense
An Empirical Study of Proxy Metrics for Verifying Math Proofs
Language:Jupyter Notebook000
Time-Series-Library
A Library for Advanced Deep Time Series Models.
Language:ShellMIT000