Langston Barrett (langston-barrett)

langston-barrett

Geek Repo

Company:@GaloisInc

Location:Brooklyn

Home Page:https://langston-barrett.github.io

Github PK Tool:Github PK Tool

Langston Barrett's starred repositories

open-interpreter

A natural language interface for computers

Language:PythonLicense:AGPL-3.0Stargazers:42175Issues:317Issues:747

guidance

A guidance language for controlling large language models.

Language:Jupyter NotebookLicense:MITStargazers:17765Issues:115Issues:462

d2

D2 is a modern diagram scripting language that turns text to diagrams.

Language:GoLicense:MPL-2.0Stargazers:16020Issues:57Issues:985

or-tools

Google's Operations Research tools:

Language:C++License:Apache-2.0Stargazers:10589Issues:301Issues:2865

aider

aider is AI pair programming in your terminal

Language:PythonLicense:Apache-2.0Stargazers:10327Issues:95Issues:501

mini-agi

MiniAGI is a simple general-purpose autonomous agent based on the OpenAI API.

Language:PythonLicense:MITStargazers:2764Issues:48Issues:43

mentat

Mentat - The AI Coding Assistant

Language:PythonLicense:Apache-2.0Stargazers:2343Issues:22Issues:164

samply

Command-line sampling profiler for macOS and Linux

Language:RustLicense:Apache-2.0Stargazers:1818Issues:16Issues:70

smartgpt

A program that provides LLMs with the ability to complete complex tasks using plugins.

Language:RustLicense:MITStargazers:1733Issues:21Issues:19

elvm

EsoLangVM Compiler Infrastructure

llama2.rs

A fast llama2 decoder in pure Rust.

Language:RustLicense:MITStargazers:985Issues:10Issues:20

SeaGOAT

local-first semantic code search engine

Language:PythonLicense:MITStargazers:918Issues:7Issues:68

t

A command-line todo list manager for people that want to finish tasks, not organize them. (git mirror)

Language:PythonLicense:MITStargazers:744Issues:28Issues:16

egglog

egraphs + datalog!

Language:RustLicense:MITStargazers:356Issues:11Issues:134

db-benchmark

reproducible benchmark of database-like ops

Language:RLicense:MPL-2.0Stargazers:320Issues:132Issues:200

glacier

A big 'ol pile of ICE.

Language:RustLicense:Apache-2.0Stargazers:292Issues:15Issues:119

rust-llama.cpp

LLama.cpp rust bindings

Language:RustLicense:MITStargazers:263Issues:6Issues:20

cvise

Super-parallel Python port of the C-Reduce

Language:C++License:NOASSERTIONStargazers:204Issues:10Issues:85

simple-completion-language-server

Language server to enable word completion and snippets for Helix editor

Language:RustLicense:MITStargazers:133Issues:6Issues:11

rust-reduce

`rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code.

Language:RustLicense:AGPL-3.0Stargazers:95Issues:7Issues:8

awesome-uefi-security

👓A collection of papers/tools/exploits for UEFI security.

llmvm

A protocol and modular application suite for language models.

Language:RustLicense:MPL-2.0Stargazers:71Issues:0Issues:0

sill

Gesture-based text editor (and shell) for the reMarkable tablet

Language:RustLicense:Apache-2.0Stargazers:66Issues:6Issues:5

icemaker

automatially find crashes in the rust compiler & tooling

filecheck

Library for writing tests for utilities that read text files and produce text output

Language:RustLicense:Apache-2.0Stargazers:21Issues:0Issues:0

lart

LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.

Language:C++License:MITStargazers:18Issues:6Issues:33
Language:CLicense:MITStargazers:12Issues:2Issues:0

dyn-dialect

A repository to test dialects defined dynamically.

Language:C++Stargazers:12Issues:0Issues:0

llama-cpp-rs

A rusty interface to llama.cpp for rust

Language:RustLicense:MITStargazers:7Issues:1Issues:1
Language:ShellLicense:Apache-2.0Stargazers:5Issues:1Issues:0