A LaTeX plugin for Light Table
☆27Apr 21, 2016Updated 10 years ago
Alternatives and similar repositories for litex
Users that are interested in litex 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 keybindings for Light Table☆118Feb 11, 2019Updated 7 years ago
- LightTable plugin that helps to open terminals, dirs and files☆11Oct 12, 2014Updated 12 years ago
- A fuzzy file finding Light Table plugin with style.☆32Sep 2, 2014Updated 12 years ago
- Couchapp Engine☆14Jan 21, 2011Updated 15 years ago
- Snippets/templates support for Light Table☆12Oct 30, 2015Updated 11 years 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.
- Workspace persistence plugin for Light Table.☆16Apr 21, 2014Updated 12 years ago
- Playground for Typed Clojurescript☆20Jul 18, 2018Updated 8 years ago
- Autocomplete widget example in Om☆13Feb 11, 2014Updated 12 years ago
- Python language plugin for Light Table☆97Feb 11, 2019Updated 7 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 11 years ago
- Loam system models☆16Dec 30, 2019Updated 6 years ago
- xkcd style password generator for iOS☆12Oct 24, 2019Updated 7 years ago
- Light table plugin for live editing markdown.☆41May 9, 2018Updated 8 years ago
- Learn core.logic with koans!☆57Dec 7, 2011Updated 14 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- µKanren in JavaScript☆13Jan 22, 2014Updated 12 years ago
- Toolbox for working with the Python AST☆16Sep 13, 2023Updated 3 years ago
- pytest plugin to run pycodestyle☆16Jul 20, 2025Updated last year
- Sublime-style saving of tabs and content for Light Table☆10Nov 15, 2015Updated 10 years ago
- Integrates various Gitlab features (mostly issue management) into Sublime 2/3.☆11Aug 19, 2015Updated 11 years ago
- Fork of Roberto Saccon's ErlyJs☆12May 2, 2013Updated 13 years ago
- Introspection Pedestal App's state☆14Jan 9, 2014Updated 12 years ago
- Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics☆19Sep 13, 2023Updated 3 years ago
- Grooveshark API in Python☆12Aug 29, 2010Updated 16 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- chipy hdl☆17Apr 5, 2018Updated 8 years ago
- ClojureScript React Native Om Next Auto-Completion☆16Nov 22, 2015Updated 10 years ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- Python wrapper library for global weather API - hyperlocal weather forecasts☆13Oct 21, 2026Updated 2 weeks ago
- 🔧🏡 My home automation configuration for Home Assistant☆11Aug 1, 2019Updated 7 years ago
- Tracks pull requests from a Bitbucket repository☆13May 10, 2022Updated 4 years ago
- Official Repository of the code associated with the data analysis competition DecMeg2014☆27Jun 19, 2014Updated 12 years ago
- Provides LINQ-like fluent api operations for iterables and async iterables.☆13Jan 4, 2023Updated 3 years ago
- An esoteric programming language.☆16Dec 21, 2016Updated 9 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.
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- zsh commandline history analysis☆20Dec 16, 2015Updated 10 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Clojure Hardware Description Language (compiles down to vhdl)☆17Nov 27, 2013Updated 12 years ago
- Linux Utilities for NodeJS☆12Nov 5, 2012Updated 14 years ago
- ☆18Jan 4, 2022Updated 4 years ago
- Drop-in comments module for a Yesod application☆10Sep 30, 2025Updated last year