marcofavorito

ollama

Get up and running with Llama 3.1, Mistral, Gemma 2, and other large language models.

llama_index

LlamaIndex is a data framework for your LLM applications

bark

🔊 Text-Prompted Generative Audio Model

gradio

Build and share delightful machine learning apps, all in Python. 🌟 Star to support our work!

LLMs-from-scratch

Implementing a ChatGPT-like LLM in PyTorch from scratch, step by step

jan

Jan is an open source alternative to ChatGPT that runs 100% offline on your computer. Multiple engine support (llama.cpp, TensorRT-LLM)

Karabiner-Elements

Karabiner-Elements is a powerful utility for keyboard customization on macOS Sierra (10.12) or later.

continue

⏩ Continue is the leading open-source AI code assistant. You can connect any models and any context to build custom autocomplete and chat experiences inside VS Code and JetBrains

ggml

Tensor library for machine learning

awesome-ai-agents

A list of AI autonomous agents

risingwave

Best-in-class stream processing, analytics, and management. Perform continuous analytics, or build event-driven applications, real-time ETL pipelines, and feature stores in minutes. Unified streaming and batch. PostgreSQL compatible.

mac-dev-playbook

Mac setup and configuration via Ansible.

01

The #1 open-source voice interface for desktop, mobile, and ESP32 chips.

foundry-full-course-f23

awesome-investing

💸💸 Curated list of investment & finance related resources

CompCert

The CompCert formally-verified C compiler

ccan

The C Code Archive Network

Homeserver

Lightweight home server based on microservices, usable as desktop workstation

beigepaper

Rewrite of the Yellowpaper in non-Yellowpaper syntax.

arbitragelab

ArbitrageLab is a python library that enables traders who want to exploit mean-reverting portfolios by providing a complete set of algorithms from the best academic journals.

karabiner-windows-mode

Karabiner-Elements complex ruleset to make using macOS friendlier by enabling common keyboard functionality used in Linux and Windows.

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

markdeep

📝 Markdeep

The-Lightning-Network-Book

An open source and crowdfunded book about Bitcoins Lightning Network to scale blockchain technologies.

publications

Publications of Runtime Verification, Inc.

mojograd

Implementation of Karpathy's micrograd in Mojo :fire:

cff

Miner extractable value modeling and tools.

trader-quickstart

A quickstart for the trader agent for AI prediction markets on Gnosis

TLAplusFun

TLA+ questions, answers, and experiments

DesignBIP