A terminal for Windows and macOS: formulas typeset where a command prints them, files preview beside the prompt, and an agent that is waiting for you says so.
☆80Nov 13, 2026Updated this week
Alternatives and similar repositories for folio-terminal
Users that are interested in folio-terminal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 拼音浮笺：支持中英混排导航与毛玻璃界面的浮动 Vim 编辑器☆68Oct 13, 2026Updated last month
- Folith · 译页 — Open-source AI-native translation workspace for long documents. Make every creation global.☆21Updated this week
- Open-source alternative to Pipedrive, self-hosted business-development CRM☆930Updated this week
- MaMoMusic 官方网站 · 一个播放器，听遍全网音乐（Wails v3 + Vue 3 桌面播放器）☆13Sep 13, 2026Updated 2 months ago
- Agent + reusable skill library for LIBERO manipulation tasks (no RL / VLA / world model; no LLM calls at runtime)☆130Oct 1, 2026Updated last month
- 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.
- rust binding for lean4☆12Jul 1, 2023Updated 3 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Sep 21, 2026Updated last month
- Minimalist compiler course, based on Essential of Compilation☆11Oct 17, 2026Updated 3 weeks ago
- A modern, principled toy implementation of dependent type theory☆12Mar 5, 2026Updated 8 months ago
- A typechecker and lazy interpreter for System U☆12Jun 7, 2026Updated 5 months ago
- 看得懂 AI 和开发工具吃了多少空间、删了还能拿回来的 Mac / Windows 清理器 · A safety-first macOS + Windows cleaner: junk rules, space analysis, AI tool & skill clean…☆18Updated this week
- Formalization of 2LTT in Agda☆10Oct 11, 2026Updated last month
- oh-my-pi 简体中文汉化版(omp-zh)☆14Aug 5, 2026Updated 3 months ago
- Elaboration of cumulative universe hierarchies☆13Oct 26, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Cortex - AI LaTeX Editor☆35Oct 9, 2024Updated 2 years ago
- A lightweight, edit-first text & code editor with built-in previews — Windows first.☆15Oct 2, 2026Updated last month
- POSIX Threads support in Julia.☆17Nov 16, 2022Updated 3 years ago
- ☆19Updated this week
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- 软件名称：文溯（NoteLume） 产品定位：介于 Typora 和 Obsidian 之间的轻量化本地Markdown知识库编辑器 核心口号：流畅书写，文间可溯☆20Updated this week
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 9 months ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆13Sep 21, 2021Updated 5 years ago
- 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.
- ToolSide-浏览器超级工具☆16Oct 15, 2026Updated 3 weeks ago
- my own paper for history of math and corresponding agentic workflow☆19Apr 12, 2026Updated 7 months ago
- ☆13May 26, 2026Updated 5 months ago
- The Megalodon interactive theorem prover and proof checker☆16Apr 14, 2024Updated 2 years ago
- Path tracer live coded in stream☆22Aug 23, 2020Updated 6 years ago
- Lean4 library for substitution inspired by autosubst☆16Updated this week
- SpeakerMem-R1: Speaker-Centered Dual-Track Memory for Multi-Party Dialogue☆105Sep 24, 2026Updated last month
- ☆15Aug 19, 2026Updated 2 months ago
- Unofficial, local-first Windows desktop client for Xiaomi Mi Home accounts☆21Oct 24, 2026Updated 3 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A monospaced programming typeface with a casual, hand-drawn Comic style. Open forms, generous spacing, made for reading code.☆18Nov 1, 2026Updated last week
- Visual Markdown editor for VS Code/Cursor, macOS and Windows — project docs workspace with AI refinement☆15Nov 5, 2026Updated last week
- SparkSQL.jl enables Julia programs to work with Apache Spark data using just SQL.☆25Jan 29, 2024Updated 2 years ago
- Shrinking induction-recursion... sometimes you just wanna be small!☆16May 7, 2026Updated 6 months ago
- Lean 4 formalization of De Giorgi-Nash-Moser theory☆43Apr 8, 2026Updated 7 months ago
- An implementation of scoped algebraic effects and handlers in Agda.☆18Mar 11, 2021Updated 5 years ago
- 音频内容安全审核系统☆13Jul 29, 2022Updated 4 years ago
Are these results useful?