An LLM client where each conversation is a markdown file
☆12Oct 12, 2026Updated this week
Alternatives and similar repositories for Lectic
Users that are interested in Lectic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Graduate seminar on the modern history of modal logic☆12May 17, 2025Updated last year
- A proof of concept for using Zed's Zeta model for predictions in neovim too!☆14Sep 28, 2026Updated 2 weeks ago
- ☆32Nov 2, 2025Updated 11 months ago
- Tools for exploring Transformer neuron behaviour, including input pruning and diversification.☆11Jun 6, 2023Updated 3 years ago
- A simple app that combines Ace Editor and RevealJS. You can write markdown on the left, and preview your presentation on the right.☆12Mar 17, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10Apr 18, 2023Updated 3 years ago
- Leetcode solutions☆15Dec 24, 2025Updated 9 months ago
- ☆16Nov 14, 2025Updated 11 months ago
- Übersicht Widget for kwm users that tries to recreate behavior of polybar+i3wm☆16Mar 4, 2018Updated 8 years ago
- A suite of interpretability tasks to evaluate agents using Scribe for notebook access☆18Oct 2, 2025Updated last year
- Greek New Testament text of Antoniades' 1904 Patriarchal edition, with morphological parsing tags and Strong's numbers☆14Mar 21, 2023Updated 3 years ago
- A Neovim plugin that generates meaningful commit messages using AI based on your staged changes☆15Jul 13, 2025Updated last year
- ☆12Mar 1, 2023Updated 3 years ago
- 😈 infect remote ssh sessions with your vim profile☆34Sep 18, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆24Jul 28, 2026Updated 2 months ago
- ☆17Feb 2, 2023Updated 3 years ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆70Mar 28, 2024Updated 2 years ago
- LaTeX document compiler with MCP interface — AI agents author documents via structured model, TeXFlow handles LaTeX mechanics☆20Mar 5, 2026Updated 7 months ago
- Fragment-based Molecular Expansion☆28Jan 11, 2024Updated 2 years ago
- My collection of Dotfiles for zsh, vim, lf, bspwm, and more.☆17Sep 26, 2026Updated 3 weeks ago
- ☆75Sep 30, 2026Updated 2 weeks ago
- Python client to interact with the lean4 language server.☆48Aug 19, 2026Updated last month
- Global skills and commands for Claude, focus on Galaxy and bioinformatics☆21May 14, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simple notebook to train (technically, fine-tune) llama 3 8B on your own text data!☆24May 5, 2024Updated 2 years ago
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆37Oct 6, 2026Updated last week
- 🔍 Enable AI assistants to search and access bioRxiv papers through a simple MCP interface.☆25Mar 18, 2025Updated last year
- ☆25Sep 19, 2026Updated 3 weeks ago
- A Claude Code Skill that converts research papers into executable code - no extra API costs☆41Jan 8, 2026Updated 9 months ago
- Convolutional Channel-wise Competitive Learning for the Forward-Forward Algorithm. AAAI 2024☆13Jun 27, 2024Updated 2 years ago
- ☆23Oct 31, 2024Updated last year
- code for 'Do Sparse Autoencoders Capture Concept Manifolds?'☆28May 21, 2026Updated 4 months ago
- MarketGPT: Developing a Pre-trained transformer (GPT) for Modeling Financial Time Series☆19Sep 5, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tool for code generation based on openvx graph representations. (THIS PROJECT IS NO LONGER MAINTAINED)☆10Dec 20, 2022Updated 3 years ago
- ☆10Aug 27, 2026Updated last month
- Plugin to generate aliases☆13May 12, 2024Updated 2 years ago
- Тестовый пример задействования модели для идентификации голоса с помощью библиотеки распознавания речи "Vosk" (Воск): https://alphacephei…☆12Aug 14, 2023Updated 3 years ago
- This tool lets you prompt ChatGPT from any textbox on your computer using ibus☆10Mar 15, 2023Updated 3 years ago
- Multi Agent Stock Analysis App using AutoGen 0.4 and Azure AI Agent Service☆10Jan 31, 2025Updated last year
- C# implementation of bech32☆12Jun 26, 2022Updated 4 years ago