Search results

C++ Meta Programming Plugin for Llama.cpp

Status: Open.

#9 In meta-introspector/llama.cpp;

· jmikedupont2 opened on Dec 15, 2023

Timeline

Status: Open.

#7 In meta-introspector/llama.cpp;

· jmikedupont2 opened on Dec 11, 2023

Epic journey

Status: Open.

#6 In meta-introspector/llama.cpp;

· jmikedupont2 opened on Dec 11, 2023

This is significant because it opens the door for running Coq and metacoq the proof system inside of the llm

Status: Open.

#5 In meta-introspector/llama.cpp;

· jmikedupont2 opened on Dec 11, 2023

backpack filling algorithm

Status: Open.

#4 In meta-introspector/llama.cpp;

· jmikedupont2 opened on Dec 9, 2023

llm implant

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In meta-introspector/llama.cpp;

· jmikedupont2 opened on Dec 8, 2023

Context window design

Status: Open.

#2 In meta-introspector/llama.cpp;

· jmikedupont2 opened on Dec 8, 2023

Protocol

enhancementNew feature or requestNew feature or request

Status: Open.

#1 In meta-introspector/llama.cpp;

· jmikedupont2 opened on Dec 7, 2023