Martin Mauch (nightscape)

nightscape

Geek Repo

Company:@xencura

Location:Regensburg, Germany

Github PK Tool:Github PK Tool


Organizations
RubyAndScala

Martin Mauch's starred repositories

dspy

DSPy: The framework for programming—not prompting—foundation models

Language:PythonLicense:MITStargazers:12629Issues:119Issues:508

UFO

A UI-Focused Agent for Windows OS Interaction.

Language:PythonLicense:MITStargazers:5684Issues:414Issues:12

kmonad

An advanced keyboard manager

Language:HaskellLicense:MITStargazers:3652Issues:36Issues:571

piko

An open-source alternative to Ngrok, designed to serve production traffic and be simple to host (particularly on Kubernetes)

Language:GoLicense:MITStargazers:1636Issues:8Issues:8

trieve

All-in-one infrastructure for building search, recommendations, and RAG. Trieve combines search language models with tools for tuning ranking and relevance.

Language:RustLicense:NOASSERTIONStargazers:1114Issues:9Issues:554

llama3.np

llama3.np is a pure NumPy implementation for Llama 3 model.

Language:PythonLicense:MITStargazers:901Issues:13Issues:4

KRAGEN

Software to implement GoT with a weviate vectorized database

Language:PythonLicense:MITStargazers:474Issues:11Issues:23

agentcloud

Agent Cloud is like having your own GPT builder with a bunch extra goodies. The GUI features 1) RAG pipeline which can natively embed 260+ datasources 2) Create Conversational apps (like GPTs) 3) Create Multi Agent process automation apps (crewai) 4) Tools 5) Teams+user permissions. Get started fast with Docker and our install.sh

Language:TypeScriptLicense:AGPL-3.0Stargazers:397Issues:10Issues:160

llama-cpp-agent

The llama-cpp-agent framework is a tool designed for easy interaction with Large Language Models (LLMs). Allowing users to chat with LLM models, execute structured function calls and get structured output. Works also with models not fine-tuned to JSON output and function calls.

Language:PythonLicense:NOASSERTIONStargazers:386Issues:11Issues:37

metals-vscode

Visual Studio Code extension for Metals

Language:TypeScriptLicense:Apache-2.0Stargazers:298Issues:19Issues:216

mirage

A multi-level tensor algebra superoptimizer

Language:C++License:Apache-2.0Stargazers:247Issues:0Issues:0

transformerlab-app

Experiment with Large Language Models

Language:TypeScriptLicense:AGPL-3.0Stargazers:235Issues:5Issues:88

monitors4codegen

Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to build applications around language servers.

Language:PythonLicense:MITStargazers:163Issues:7Issues:6

anything

✨ Local Zapier replacement written in Rust to make local AI do way more than chat

embedded-kafka-schema-registry

A library that provides in-memory instances of both Kafka and Confluent Schema Registry to run your tests against.

Language:ScalaLicense:MITStargazers:107Issues:5Issues:30

quinine

A Flutter IDE by developers for developers (In Development)

Language:DartLicense:Apache-2.0Stargazers:106Issues:7Issues:9

Interface-Agent

InterfaceAgent: a versatile framework designed to create system and interface agents capable of managing mobile and desktop applications and features.

Language:TypeScriptLicense:MITStargazers:83Issues:4Issues:4

faster-nougat

Implementation of nougat that focuses on processing pdf locally.

Language:PythonStargazers:59Issues:0Issues:0

SharpETL

Write ETL using your favorite SQL dialects

Language:ScalaLicense:Apache-2.0Stargazers:37Issues:1Issues:0

laminar-shoelace-components

Laminar bindings for Shoelace.js library of web components. Contains a code generator that can be used to generate similar bindings for other libraries.

Language:ScalaLicense:MITStargazers:30Issues:3Issues:2

vizsql

Scala and SQL happy together.

Language:ScalaLicense:Apache-2.0Stargazers:28Issues:0Issues:0

shapesafe

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

Language:ScalaLicense:Apache-2.0Stargazers:26Issues:8Issues:2
Language:JavaScriptLicense:NOASSERTIONStargazers:18Issues:0Issues:0

abbrgen

Abbreviation generator for chording and text expansion

Language:PythonLicense:GPL-3.0Stargazers:18Issues:3Issues:0

switche

Switche - A Searchable Windows Task Switcher

Language:RustLicense:MITStargazers:18Issues:0Issues:0

sparsity

Fast, Free SQL Parser

Language:ScalaLicense:Apache-2.0Stargazers:5Issues:4Issues:3

jsonresume-theme-engineering

Engineering JSONResume theme

Language:HandlebarsStargazers:4Issues:0Issues:0
Language:HTMLLicense:MITStargazers:1Issues:1Issues:0
Language:RustStargazers:1Issues:0Issues:0
Language:ScalaStargazers:1Issues:0Issues:0