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/biohacker
debugging biological networks to reach coherence, completeness and consistency
namin/leanTAP
A Declarative Theorem Prover for First-Order Classical Logic
namin/clpset-miniKanren
CLP(Set) in miniKanren
namin/dafny-sandbox
Dafny for Metatheory of Programming Languages
namin/lisp-variations
variations on lisp, exploring reflection
namin/relaxed-machines
program synthesis with neuro-symbolic differentiable interpreters
namin/lambda-calculus
namin/GETFOL
FOL Software Archaeology
namin/eurisclo
Common Lisp port of Doug Lenat's EURISKO
namin/faster-miniKanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
namin/feel
Feel Wheel: analyze your mood
namin/.emacs.d
namin/chirhofun
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/llm-structured-output
namin/lms-koika
namin/langchain
🦜🔗 Build context-aware reasoning applications
namin/llama_index
LlamaIndex is a data framework for your LLM 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.github.com
namin/open-text-embeddings
Open Source Text Embedding Models with OpenAI Compatible API
namin/pyfun
an io.livecode.ch for Python
namin/RTX-KG2
Build system for the RTX-KG2 biomedical knowledge graph, part of the ARAX reasoning system (https://github.com/RTXTeam/RTX)
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)