Saketh Kasibatla's repositories
python-in-ohm
A python parser written using ohm-js
logic-idsl
An internal DSL for logic programming in JS
sakekasi.github.io
public webpage hosting some of my projects
speech-recognition
isolated word recognition with hmms
050-template-coq
a template for coq development
coq-wigderson
Formalization of Wigderson's graph coloring algorithm in Coq
coq_serapy
Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.
hmmlearn
Hidden Markov Models in Python, with scikit-learn like API
howdoi
instant coding answers via the command line
hypothesmith
Hypothesis strategies for generating Python programs, something like CSmith
openai-cache
A local server that proxies requests to the gpt-3 apis, caching their results in redis to save money
paper-notes
tiddlywiki with my paper notes
plaid-sync
Command-line interface to the Plaid API that synchronizes your bank/credit card transactions with a local SQLite database. Written in Python 3.
seymour-python
Seymour for python
seymour-python-tutorial
A quick introduction to seymour (built on python)
text-falls-apart
using markov chains (and perhaps other concepts later) to slowly eliminate meaning from a paragraph
tqdm-multiprocess
Using queues, tqdm-multiprocess supports multiple worker processes, each with multiple tqdm progress bars, displaying them cleanly through the main process. It offers similar functionality for python logging.