Pinned Repositories
stephenfreund's Repositories
stephenfreund/pythoness
Pythoness: use natural language to define Python functions.
stephenfreund/bigO
stephenfreund/blank-app-4
stephenfreund/blank-app-3
stephenfreund/blank-app-2
stephenfreund/blank-app
stephenfreund/cs104-public-f24
These are the public resources for CSCI 104, Fall 2024.
stephenfreund/blank-app-1
stephenfreund/borp
stephenfreund/ChatDBG
ChatDBG - AI-assisted debugging. Uses AI to answer 'why'
stephenfreund/llm-utils
Utilities for our LLM projects (CWhy, ChatDBG, ...).
stephenfreund/assets
stephenfreund/cs104-colab01
stephenfreund/colab-test
stephenfreund/cs134-lectures
stephenfreund/docker-stacks
Ready-to-run Docker images containing Jupyter applications
stephenfreund/cs134-materials
stephenfreund/PLDI-2021-Mini-Conf
Run a conference from your backyard.
stephenfreund/SynchronicityCode
stephenfreund/AdaptiveSync
stephenfreund/gflags
The gflags package contains a C++ library that implements commandline flags processing. It includes built-in support for standard types such as string and the ability to define flags in the source file in which they are used. Online documentation available at:
stephenfreund/boogie
Boogie
stephenfreund/RoadRunner
stephenfreund/golang-workspace