pradyuprasad / LockedInLinks
LightWeight activity tracker for mac
☆21Updated 4 months ago
Alternatives and similar repositories for LockedIn
Users that are interested in LockedIn are comparing it to the libraries listed below
Sorting:
- ☆91Updated 5 months ago
- Vector search over tweets from the tweet archive using OpenAI embeddings and LanceDB☆54Updated last year
- moondream in zig.☆73Updated last month
- Software for matching event participants based on interest using embeddings☆69Updated last year
- Dive endlessly deeper into a single concept using AI☆84Updated 3 months ago
- a tiny vectorstore implementation built with numpy.☆62Updated last year
- Copy code from your codebase to clipboard instantly for LLM context!☆296Updated 2 weeks ago
- control your music from the command line☆144Updated 2 months ago
- papers.day☆91Updated last year
- Stream of my favorite papers and links☆42Updated 4 months ago
- A light tensor library in zig.☆78Updated 5 months ago
- Low Level LLM benchmark☆65Updated 5 months ago
- explore token trajectory trees on instruct and base models☆134Updated last month
- Semantic search over every Emergent Ventures winner.☆23Updated last month
- ☆54Updated 2 months ago
- Twitter (sometimes known as X) can look prettier with this simple AddOn!☆117Updated 2 months ago
- Source code for my personal website☆50Updated 2 months ago
- 🖨 An optimizing compiler for a Lisp variant. Compiles and executes byte code in a VM. Can also output JavaScript.☆27Updated 4 months ago
- A library for building dynamic webapps, using Js_of_ocaml☆583Updated last month
- ActBot is a prototype for an injectable chatbot to give any website agentic capabilities☆58Updated last year
- ☆92Updated 9 months ago
- A browser extension that demos Gemini Nano via window.ai and Cartesia TTS ⚡️☆39Updated last year
- Simple AI-based (Claude-3) game emulator☆46Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- distributed file synchronization system for markdown files☆41Updated 2 weeks ago
- AI Powered LaTeX Editor.☆69Updated 7 months ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆206Updated 10 months ago
- literally just cool looking countdowns☆71Updated 3 months ago
- a key value based vector db!☆19Updated 2 months ago
- Interactive timeline of AI history☆58Updated last month