Персональное Рабочее Окружение
☆19Apr 17, 2026Updated 6 months ago
Alternatives and similar repositories for pro
Users that are interested in pro are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- shaoline-mode☆10Sep 28, 2026Updated last month
- Emacs config☆11Updated this week
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Russian holidays for GNU/Emacs calendar☆16Jan 9, 2017Updated 9 years ago
- a ruby-based iCalendar (rfc2445) to org-mode converter☆13Feb 3, 2025Updated last year
- 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.
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- A Racket client for the Arduino Service Interface Protocol (ASIP)☆13Feb 19, 2018Updated 8 years ago
- lisp code generator for swagger☆10Jan 12, 2019Updated 7 years ago
- The Elm Architecture in Redux, statically checked using flow☆11Jan 8, 2018Updated 8 years ago
- Emacs/Wayland based Window Manager in pure elisp with the help of River☆21Oct 22, 2026Updated last week
- A sample application for getting started quickly☆13Oct 9, 2026Updated 3 weeks ago
- Dependent Lens FRP and concurrent model in Agda☆12Sep 19, 2026Updated last month
- EMacsRu metapackages collection☆11Sep 27, 2018Updated 8 years ago
- Edit mode for EXWM☆128Apr 18, 2024Updated 2 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.
- ☆15Apr 9, 2026Updated 6 months ago
- Collection of Useful Features of the Coq Proof Assistant☆10Mar 27, 2024Updated 2 years ago
- Functional programming extensions for JS. Lightweight replacement for Lodash.☆13Feb 15, 2022Updated 4 years ago
- Planning at the speed of thought☆13Mar 15, 2018Updated 8 years ago
- Interface for Surf under exwm☆12May 26, 2018Updated 8 years ago
- Color theme inspired by the Spacegray theme in Sublime Text☆12Jun 1, 2025Updated last year
- Maildir synchronization tool☆20Jun 30, 2021Updated 5 years ago
- My Emacs configuration☆19Mar 24, 2026Updated 7 months ago
- States for Deku components☆11Sep 23, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Translation of Uber Lisp article into russian.☆23Dec 15, 2012Updated 13 years ago
- ☆13Jun 2, 2026Updated 4 months ago
- ☆13Aug 30, 2025Updated last year
- Example configurations for self-hosting stuff on NixOS☆15Aug 6, 2025Updated last year
- 💅 A component library based on ShadCN and Tailwind CSS. Built with Basecoat CSS.☆17Oct 13, 2026Updated 2 weeks ago
- PostgreSQL SQL syntax utilities☆16Aug 25, 2026Updated 2 months ago
- Universal, safe Git Assistant☆13Apr 6, 2026Updated 6 months ago
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆18Oct 28, 2025Updated last year
- A source code generator for Kotlin data classes to automatically create a Builder class.☆16Oct 15, 2018Updated 8 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.
- Linker/Optimizer for JS-based Web applications, alternative to GruntJS and Gulp.☆20Jan 13, 2020Updated 6 years ago
- ☆12May 12, 2026Updated 5 months ago
- Search emails in Notmuch asynchronously with Ivy☆14Jan 30, 2020Updated 6 years ago
- ☆110May 23, 2026Updated 5 months ago
- Emacs-GitLab integration☆72Oct 10, 2026Updated 2 weeks ago
- An in-browser loader/bundler for javascript. No Node required. No CLI required. Use with @gardenhq/willow for a flexible, 'unobtrusive' d…☆20Dec 13, 2017Updated 8 years ago
- TemplateHaskell functions to generate types and converter function.☆18Nov 25, 2025Updated 11 months ago