namin
Follow
-
-
hypertunnel Public
Forked from berstend/hypertunnel✨ Expose any local TCP/IP service on the internet.
JavaScript MIT License UpdatedMar 2, 2025 -
holey Public
Python library for program synthesis and symbolic execution combining constraint solving and LLMs
-
-
gpt-researcher Public
Forked from assafelovic/gpt-researcherLLM based autonomous agent that conducts deep local and web research on any topic and generates a long report with citations.
Python Apache License 2.0 UpdatedFeb 24, 2025 -
servers Public
Forked from modelcontextprotocol/serversModel Context Protocol Servers
JavaScript MIT License UpdatedFeb 24, 2025 -
minimo Public
Forked from gpoesia/minimoLearning Formal Mathematics from Intrinsic Motivation
-
-
-
LLM verified with Monte Carlo Tree Search
-
-
-
-
-
dafny-sketcher Public
piggy-backing on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning
-
ide-vscode Public
Forked from dafny-lang/ide-vscodeVSCode IDE Integration for Dafny
TypeScript MIT License UpdatedJan 22, 2025 -
eurisclo Public
Forked from white-flame/euriscloCommon Lisp port of Doug Lenat's EURISKO
-
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedJan 21, 2025 -
dafny-sandbox Public
Dafny for Metatheory of Programming Languages
-
dafny-mcp Public
Dafny Verifier Tool for the Model Context Protocol, which can be used with Claude
-
cursor-feedback Public
a Cursor VSCode extension to automatically run a command and feed any error to the Cursor chat window
-
-
-
metaprogramming Public
Course on Metaprogramming
-
Kappa-ChatGPT Public
Some Kappa ChatGPT GPT actions to run simulations, with async support for long-running simulations
Python UpdatedJan 18, 2025 -
io-chatgpt.livecode.ch Public template
a ChatGPT plugin to interact with io.livecode.ch, which can be used as a template to create custom ChatGPT plugins and GPT actions
-
metasolfeggio Public
computer-aided harmony and counterpoint
-
lms-koika Public
Collapsing Towers for Side-Channel Security
-
-