CrossAngles is the easiest way to plan your timetable for next term
☆27Mar 20, 2026Updated last month
Alternatives and similar repositories for crossangles
Users that are interested in crossangles are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Toggles cursor when switching between the vi command (vicmd) and insert (main) keymaps.☆15Nov 15, 2025Updated 5 months ago
- Automated tools to set up a new consulting project in R. Building on usethis: consultthat.☆18May 24, 2018Updated 7 years ago
- A forked version of thesisdown for writing UNSW theses with bookdown and RMarkdown☆11Jan 12, 2018Updated 8 years ago
- A hyperlinked help system for Sublime Text 3☆12Apr 16, 2021Updated 5 years ago
- A Sublime Text 3 client for Vale Server.☆13Dec 7, 2020Updated 5 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.
- Display an emoji based on time since your last commit to a git repo☆16Apr 29, 2013Updated 13 years ago
- ☆16Mar 17, 2025Updated last year
- A Sublime Text 3 plugin complete with Sublime Text 3 snippets☆21Mar 16, 2018Updated 8 years ago
- foculor Theme for Sublime Text 3☆11May 14, 2018Updated 7 years ago
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated last year
- Introduction to python and Jupyter Notebook; includes all of Michael's lecture notes☆15Apr 7, 2026Updated 3 weeks ago
- Syntax Highlighting for SublimeText / Text Mate☆10Dec 11, 2018Updated 7 years ago
- My flashcard collection.☆38Updated this week
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Sublime Text 2/3 plugin for quick access to installed packages README files.☆22Nov 8, 2015Updated 10 years ago
- A javascript coding game☆13Nov 30, 2016Updated 9 years ago
- A tool to review packages for Sublime Text☆17Apr 13, 2026Updated 2 weeks ago
- Old unreleased development branch of the YTalk chat program☆23Nov 26, 2019Updated 6 years ago
- Notificateur pour Zeste de Savoir (Chrome, Firefox, Mac)☆19Mar 11, 2021Updated 5 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆13Dec 1, 2015Updated 10 years ago
- coinduction library for Coq☆24Nov 14, 2025Updated 5 months ago
- PiHex Library, written in Go, generates a hexadecimal number sequence in the number Pi in the range from 0 to 10,000,000.☆20Apr 15, 2026Updated 2 weeks ago
- takes tmtheme files (Sublime Color Schemes) from http://tmtheme-editor.herokuapp.com/ and converts it to a css file to be used with pygme…☆30Nov 17, 2014Updated 11 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.
- A simple plugin for Sublime Text that allows old tabs to be closed with a configurable keystroke (ctrl-alt-w by default).☆38Oct 3, 2016Updated 9 years ago
- Manage your pocket from terminal☆18Nov 4, 2019Updated 6 years ago
- ☆25Apr 24, 2026Updated last week
- Insanely useful local webserver☆39Oct 15, 2016Updated 9 years ago
- A sublime text 3 plugin that opens and closes the sidebar, based on where your mouse is☆22Aug 15, 2018Updated 7 years ago
- Create Sublime Text or Text Mate color schemes in CSS, SCSS or stylus☆42Apr 15, 2026Updated 2 weeks ago
- Pretty new tab for you browser.☆45Nov 13, 2015Updated 10 years ago
- Type hints for Trio and related projects☆29Oct 24, 2024Updated last year
- OBSOLETE : DO NOT USE IT (migrated to gitlab.com)☆27Oct 29, 2017Updated 8 years 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.
- R script to neatly align hexagon stickers☆76Sep 23, 2021Updated 4 years ago
- A verified compiler for a lazy functional language☆41Apr 19, 2026Updated 2 weeks ago
- JavaScript tips (ES6, CSS, Benchmarks, React, Redux, ...)☆32Jun 10, 2024Updated last year
- Ms Thesis @ FEUP☆38Jul 16, 2024Updated last year
- SUpporting GRaphics with R for ANalysing Time Series☆81Mar 12, 2024Updated 2 years ago
- Foundational solutions for programming in the GNU/Linux shell environment☆30Jan 29, 2026Updated 3 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago