Saketh Kasibatla's repositories
python-in-ohm
A python parser written using ohm-js
light-grayscale-syntax
A grayscale syntax theme with a light background. Made for Atom
logic-idsl
An internal DSL for logic programming in JS
ohm-threed-visualization
a 3d visualization of ohm parse trees on a code example
speech-recognition
isolated word recognition with hmms
050-template-coq
a template for coq development
1126-a-programming-problem
an experiment in exploring dynamic execution of code
coq_serapy
Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.
d3
Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:
ohm-editor-prototype
Some mockup ideas for the ohm language editor
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
reason
Friendly Syntax & Toolchain Powered by OCaml
sakekasi.github.io
public webpage hosting some of my projects
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.