Silk-Companion icon set, made available in various package managers, shipped with CSS spritesheet
☆36Jan 28, 2022Updated 4 years ago
Alternatives and similar repositories for silk-companion
Users that are interested in silk-companion are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A No-JavaScript Tailwind runner in Haskell☆19Feb 18, 2025Updated last year
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- ☆20Jan 7, 2021Updated 5 years ago
- Run digestive-functors against a JSON document☆34Sep 30, 2022Updated 4 years ago
- A binding to WebKitGTK+ for Common Lisp☆56Jul 22, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Haskell bindings to the libui C library.☆48Jan 5, 2018Updated 8 years ago
- My Machine's Custom Configuration (Dotfiles, Widgets, Icons, etc.)☆13Aug 21, 2026Updated last month
- Collection of cleo/scm scripts/plugins that I've made (gtasa)☆16Aug 2, 2026Updated 2 months ago
- Japanese Localization Patch for GTA San Andreas☆13Mar 10, 2022Updated 4 years ago
- DokuWiki client-side (JS) plugin for sortable tables.☆11Dec 9, 2025Updated 10 months ago
- Quickly retrieve all keys and download links of your bundle from IndieGala or Humble Bundle. This is not a hack or anything like that to …☆10Sep 2, 2019Updated 7 years ago
- Cartesian Cubical Type Theory☆74Mar 1, 2021Updated 5 years ago
- Paperview rewrite in rust w/ compositor support!☆11Dec 22, 2024Updated last year
- 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.
- Procedural macro for deriving helper methods for types with Cow fields☆18May 7, 2024Updated 2 years ago
- This aims to be the most pretentious implementation of stlc in existence☆67Mar 5, 2022Updated 4 years ago
- Kirei is a application which hides the desktop icons, the taskbar and windows after the configured time period. It's very useful in combi…☆14Jun 4, 2024Updated 2 years ago
- My daily homepage☆15Mar 15, 2022Updated 4 years ago
- Write PubMed search results with two display options (citation or listview) to PDF or Word☆13Oct 18, 2020Updated 5 years ago
- Steam Web API for Node.js and io.js☆13Sep 22, 2015Updated 11 years ago
- Node.js implementation of Steam crypto☆15Apr 11, 2016Updated 10 years ago
- Add DataTables support to DokuWiki☆11Aug 31, 2023Updated 3 years ago
- Mechanizing Types and Programming Languages using Beluga☆24May 29, 2020Updated 6 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.
- Tools to do fun things with ubiquity gear☆19Nov 9, 2022Updated 3 years ago
- Vapor Theme by Seth Lilly ported to HTMLy☆13Nov 5, 2025Updated 11 months ago
- LayJS is a UI framework which uses (GPU accelerated) CSS3 transforms to position elements on the page. The central premise of which is to…☆18Aug 30, 2020Updated 6 years ago
- A light PAM module to log user's username and password.☆15Mar 16, 2018Updated 8 years ago
- Organization and planning for the Initial Types Club☆76Sep 22, 2022Updated 4 years ago
- Highly secure second factor auth by screaming at your computer.☆18Dec 28, 2019Updated 6 years ago
- Image viewer/editor for RISC OS & desktop application library☆13Apr 26, 2026Updated 5 months ago
- TParsec - Total Parser Combinators in Idris☆100Aug 7, 2023Updated 3 years ago
- Lego Island Music Extractor☆11Dec 9, 2023Updated 2 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.
- Lightning Fast Deploys with ember-cli-rails☆10Apr 14, 2016Updated 10 years ago
- ☆15Feb 19, 2020Updated 6 years ago
- Script modifications for GTA 3, VC, and SA made by Vital.☆17Oct 1, 2026Updated last week
- List of compressed file extensions☆16Apr 30, 2024Updated 2 years ago
- BitView's translations.☆12Sep 30, 2025Updated last year
- Vivaldi CSS theme, recreating the Chrome UI.☆16Oct 24, 2024Updated last year
- A fork of UltraVNC for use with HippoRemote.☆21Oct 12, 2009Updated 16 years ago