Heavenly - an awesome color scheme for putty
☆10Apr 25, 2015Updated 11 years ago
Alternatives and similar repositories for Heavenly-putty-color-scheme
Users that are interested in Heavenly-putty-color-scheme are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scrips and codes for many uses☆13Nov 25, 2020Updated 5 years ago
- A version of Snake for Game Boy☆22Apr 3, 2023Updated 3 years ago
- A simple wrapper class for Json.☆16Dec 31, 2016Updated 9 years ago
- S2I scripts for building a Spring Boot Java Application and deploying the same within a Linux container (docker) on OpenShift CP.☆18Sep 10, 2020Updated 5 years ago
- Python script to perform dynamic DNS using AWS Route53 on a Raspberry Pi or other Linux hosts☆18Mar 8, 2024Updated 2 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.
- Run integration tests using mongoose and tape☆15Jul 8, 2015Updated 11 years ago
- Project that tracks the list of domains that are open domains or disposable domains with libraries in multiple languages to consume such …☆45Jun 22, 2023Updated 3 years ago
- A small Lisp implementation in Go☆10Jan 27, 2022Updated 4 years ago
- C in four functions — ported to plan9☆11Feb 28, 2020Updated 6 years ago
- microphone is a simple module that use `arecord` ALSA tools method to capture sound from a USB Microphone☆56Sep 30, 2015Updated 10 years ago
- JSConf.Asia 2015☆19Nov 20, 2015Updated 10 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- A RPG for the Game Boy Color -- WARNING: code base is very broken, I do not recommend re-using any code from here☆56May 12, 2022Updated 4 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Mar 31, 2026Updated 3 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆11Jan 22, 2018Updated 8 years ago
- ☆14Nov 14, 2013Updated 12 years ago
- This is pytorch implementation of paper Stable Video Style Transfer Based on Partial Convolution with Depth-Aware Supervision.☆13Aug 5, 2020Updated 5 years ago
- Android app interacting with Dotti bluetooth device☆11Dec 25, 2016Updated 9 years ago
- Erlang implementation built on GraalVM/Truffle☆15May 31, 2019Updated 7 years ago
- A manager for old PC emulation☆13Jun 19, 2023Updated 3 years ago
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- The source code of our WACV2020 paper "Self-Contained Stylization via Steganographyfor Reverse and Serial Style Transfer".☆11Jun 8, 2023Updated 3 years ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 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.
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 7 years ago
- Doom for Apple A/UX (based on Doom 1.10)☆15Jun 18, 2022Updated 4 years ago
- ☆38Jan 14, 2024Updated 2 years ago
- EAPOL Proxy Daemon☆31Jul 12, 2018Updated 8 years ago
- One of the most popular discord stock bots during 2019.☆36Mar 16, 2022Updated 4 years ago
- Inert lets you use non-Sync values in Sync context☆16Jul 2, 2019Updated 7 years ago
- Rumprun (SMP version)☆11Jan 4, 2021Updated 5 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Simple toolset to build super-powered table components in React 🗓☆22Feb 4, 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.
- Solidworks files, and exported STLs of printable parts☆10Oct 27, 2021Updated 4 years ago
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 5 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 8 months ago
- ☆13Updated this week
- TEA cipher in CBC mode written in DRAKON Editor + C as a fun exercise.☆15Jun 6, 2012Updated 14 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago