☆31Mar 29, 2017Updated 9 years ago
Alternatives and similar repositories for template-sigplan
Users that are interested in template-sigplan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- A 21st century LaTeX wrapper☆633Apr 28, 2024Updated 2 years ago
- ☆19Sep 18, 2021Updated 4 years ago
- CLI tool to let you know amount of memes in facebook feed.☆44Apr 14, 2017Updated 9 years ago
- Execute shell commands from your local browser via websockets (terrible idea, only for demos)☆13Jan 17, 2026Updated 4 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.
- Formal semantics in Agda.☆17Jul 2, 2015Updated 10 years ago
- Automated semver compliance based on type hints☆16Jul 30, 2016Updated 9 years ago
- A starter repo to donate to Kubernetes-sigs so the community can own and iterate on stories over time, with issue tracking, as we close o…☆12Aug 23, 2022Updated 3 years ago
- Research into creating tiny .NET executables☆14Apr 21, 2018Updated 8 years ago
- Prep a new switch instantly.☆21Aug 20, 2017Updated 8 years ago
- a visualization of OpenStreetMaps node density☆55Jun 13, 2025Updated 11 months ago
- Kernel driver for the Ralink rt5572 dual-band Wi-Fi adapter, configured for use with Boundary Devices boards☆14Jun 26, 2014Updated 11 years ago
- DEPRECATED: Use https://github.com/18F/gapps-download instead☆10Oct 27, 2015Updated 10 years ago
- An emacs major-mode for editing images via imgix.☆20Dec 27, 2014Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- My notes from continual learning 🤔💡📗☆18May 15, 2026Updated 2 weeks ago
- 🐧 Some (personal) linux configs & scripts for systemd, bash, nginx, etc. Used mostly in a Debian 9 (Stretch) env.☆13Dec 24, 2019Updated 6 years ago
- This toolbox easily and automatically processes Neuropixels and Myomatrix data recorded during experiments☆13Aug 9, 2024Updated last year
- Opinionated Arch/Hyprland Setup☆32May 21, 2026Updated last week
- Soft Actor Critic for training musculoskeletal models☆20Nov 11, 2025Updated 6 months ago
- 📚 Ordered Multivalue Dictionary. Powers furl.☆68Nov 18, 2025Updated 6 months ago
- Add links in github code views that open files in the given line.☆23Aug 25, 2020Updated 5 years ago
- A brief intro course on reproducible data analysis with Quarto and R☆11Aug 5, 2024Updated last year
- Official Ansible Training Content☆23Aug 5, 2014Updated 11 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.
- A guide through internals of Merb, very fast, flexible and modular web framework in Ruby☆45Oct 8, 2009Updated 16 years ago
- A magical interface to manage Todos built ontop of Org☆25Jun 30, 2025Updated 11 months ago
- Rename image files based on EXIF data.☆15Feb 11, 2025Updated last year
- Home remedies for unsightly health problems.☆16Mar 21, 2026Updated 2 months ago
- Open database for inhibition tasks☆10Sep 22, 2023Updated 2 years ago
- Sending files and firmware updates over Serial/RS-485. Works with ESP8266/ESP32☆12Aug 17, 2021Updated 4 years ago
- A small JavaScript library that formats date in Japanese language.☆12Feb 18, 2025Updated last year
- Natural Language Processing Project☆11Jul 6, 2021Updated 4 years ago
- MATLAB code for Audapter☆17Dec 21, 2022Updated 3 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.
- Blog/website for the instructor training course☆14Aug 26, 2020Updated 5 years ago
- Playlist creator and manager app using Spotify API☆11Dec 10, 2022Updated 3 years ago
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Nov 19, 2021Updated 4 years ago
- Password store and secret manager using age encryption. This is my attempt to replace passwordstore's use of PGP, with age encryption. …☆15Dec 18, 2021Updated 4 years ago
- Code for training neural network controllers to emulate posture and reach tasks☆10Nov 24, 2021Updated 4 years ago
- Various tools & templates for manuscript preparation (Illustrator and InDesign)☆16May 10, 2019Updated 7 years ago
- Monte Carlo Render Viewing and Visualization Tools☆11Apr 20, 2021Updated 5 years ago