Pinned Repositories
dot
formalization of the Dependent Object Types (DOT) calculus
inc
an incremental approach to compiler construction
io.livecode.ch
interactive programming tutorials, powered by Github and Docker
llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
logically
explorations in core.logic
metaprogramming
Course on Metaprogramming
pink
Collapsing Towers of Interpreters (in Scheme)
propagators
the Art of the Propagator
staged-miniKanren
staged relational interpreters: running with holes, faster
unsound
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
namin's Repositories
namin/llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
namin/io.livecode.ch
interactive programming tutorials, powered by Github and Docker
namin/staged-miniKanren
staged relational interpreters: running with holes, faster
namin/logically
explorations in core.logic
namin/metasolfeggio
computer-aided harmony and counterpoint
namin/lms-black
purple: compiling a reflective language
namin/leanTAP
A Declarative Theorem Prover for First-Order Classical Logic
namin/dafny-sandbox
Dafny for Metatheory of Programming Languages
namin/reflective-towers
software archaeology of reflective towers of interpreters
namin/eurisclo
Common Lisp port of Doug Lenat's EURISKO
namin/.emacs.d
namin/dafny-sketcher
piggy-backing on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning
namin/lms-koika
Collapsing Towers for Side-Channel Security
namin/ControlFlow
🦾 Take control of your AI agents
namin/io-chatgpt.livecode.ch
a ChatGPT plugin to interact with io.livecode.ch, which can be used as a template to create custom ChatGPT plugins and GPT actions
namin/pulse
Take control of your health
namin/aideml
AIDE: the Machine Learning CodeGen Agent
namin/cursor-feedback
a Cursor VSCode extension to automatically run a command and feed any error to the Cursor chat window
namin/dafny
Dafny is a verification-aware programming language
namin/gitcliques
ChatGPT generated streamlit app
namin/ide-vscode
VSCode IDE Integration for Dafny
namin/Kappa-ChatGPT
Some Kappa ChatGPT GPT actions to run simulations, with async support for long-running simulations
namin/KappaTools
Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
namin/langchain
🦜🔗 Build context-aware reasoning applications
namin/LLMDebugger
LDB: A Large Language Model Debugger via Verifying Runtime Execution Step by Step
namin/namin
namin/namin.github.com
namin/OpenScholarLegacy
namin/TalkingHeads
A library to communicate with ChatGPT, Claude, Copilot, Gemini, HuggingChat, and Pi
namin/Toolio
OpenAI-like HTTP server API implementation which supports tool-calling and other structured LLM response generation (e.g. make it conform to a JSON schema)