Pinned Repositories
1160-Logomotion-Robot-Code
team 1160's robot code for the 2010-2011 season
1160-Scouting-App
used for collecting information on other FIRST robotics teams at competition.
albers-io
An interactive web-workspace inspired by Josef Albers' "Interaction of Color"
bluengray
the bluengray wordpress theme
clarinet
live instrumented code for call graph visualization
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
project-euler-solutions-lisp
my solutions to the project euler problems I have solved. THESE ARE ACTUAL SOLUTIONS. DO NOT LOOK IF YOU DON'T ALREADY KNOW THE ANSWERS. Some of these answers do not work.
python-in-ohm
A python parser written using ohm-js
sakekasi's Repositories
sakekasi/python-in-ohm
A python parser written using ohm-js
sakekasi/clarinet
live instrumented code for call graph visualization
sakekasi/logic-idsl
An internal DSL for logic programming in JS
sakekasi/ohm-threed-visualization
a 3d visualization of ohm parse trees on a code example
sakekasi/speech-recognition
isolated word recognition with hmms
sakekasi/000-template-minimal
sakekasi/010-template-typescript-basic
sakekasi/011-template-typescript-server
sakekasi/020-template-swift-executable
sakekasi/030-template-python
sakekasi/040-template-ocaml
sakekasi/050-template-coq
a template for coq development
sakekasi/coq-wigderson
Formalization of Wigderson's graph coloring algorithm in Coq
sakekasi/coq_serapy
Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.
sakekasi/d3
Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:
sakekasi/data
sakekasi/hmmlearn
Hidden Markov Models in Python, with scikit-learn like API
sakekasi/nestable-example-ui
sakekasi/openai-cache
A local server that proxies requests to the gpt-3 apis, caching their results in redis to save money
sakekasi/paper-notes
tiddlywiki with my paper notes
sakekasi/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.
sakekasi/portfolio
sakekasi/proverbot9001
sakekasi/reason
Friendly Syntax & Toolchain Powered by OCaml
sakekasi/sakekasi.github.io
public webpage hosting some of my projects
sakekasi/seymour-python
Seymour for python
sakekasi/seymour-python-tutorial
A quick introduction to seymour (built on python)
sakekasi/tdd-copilot-study
sakekasi/text-falls-apart
using markov chains (and perhaps other concepts later) to slowly eliminate meaning from a paragraph
sakekasi/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.