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/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/GETFOL
FOL Software Archaeology
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/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/lms-koika
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/mlx-examples
Examples in the MLX framework
namin/namin
namin/namin.github.com
namin/RTX-KG2
Build system for the RTX-KG2 biomedical knowledge graph, part of the ARAX reasoning system (https://github.com/RTXTeam/RTX)
namin/TalkingHeads
A library to communicate with ChatGPT, Claude, Copilot, Gemini, HuggingChat, and Pi
namin/thread
AI-Powered Jupyter Notebook built using React
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)