A visually aesthetic portfolio theme for Ghost
☆96Jul 19, 2026Updated this week
Alternatives and similar repositories for Edge
Users that are interested in Edge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Game engine☆11Mar 12, 2017Updated 9 years ago
- Implementation of sprintf for Coq☆19Apr 6, 2020Updated 6 years ago
- Abisko is a stylish blog theme with an emphasis on bold typography.☆16May 3, 2024Updated 2 years ago
- Framework for rapid development of Ansible modules in Haskell programming language.☆14Aug 20, 2022Updated 3 years ago
- A full-featured ActivityPub server for networked publishing with Ghost☆236Updated this week
- 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.
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 8 years ago
- Source of my personal blog at xinitrc.de☆18Sep 20, 2016Updated 9 years ago
- 📶 - Elm style FRP library for Haskell☆16Aug 8, 2018Updated 7 years ago
- Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)☆17Jun 11, 2020Updated 6 years ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 3 years ago
- GoNative project: formal machines models in Coq☆37Aug 3, 2017Updated 8 years ago
- A simple raytracer written in Lean 4☆146May 16, 2024Updated 2 years ago
- Mocker + Proxy Application☆15May 17, 2022Updated 4 years ago
- Incorporates external dependencies into HTML file using data: URI scheme☆21Nov 17, 2011Updated 14 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.
- Literate coq blog posts☆17Jan 13, 2016Updated 10 years ago
- Agentic AI workers explicitly in Go☆15Feb 13, 2025Updated last year
- v4l2 implementation for erlang. Simple and working.☆11Jun 2, 2020Updated 6 years ago
- Try editing some Tailwind in this repo while running in dev. It's SO FAST!☆21Jul 5, 2021Updated 5 years ago
- Self-hosted alternative to CDNs.☆37Mar 26, 2018Updated 8 years ago
- ☆18Apr 6, 2026Updated 3 months ago
- ☆15Dec 16, 2020Updated 5 years ago
- there are UKIJ and Uighursoft fonts☆13Oct 21, 2022Updated 3 years ago
- Visualizing realtime streaming with MQTT.js, Vue.js and Chart.js☆14Aug 8, 2021Updated 4 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 CLI tool to help you easily delete forked repositories.☆10May 16, 2026Updated 2 months ago
- Wordpress Salt Formula☆18Mar 19, 2019Updated 7 years ago
- This project is being continued by Legalese:☆37Updated this week
- Calcket package for YunoHost☆10Aug 6, 2024Updated last year
- A framework for implementing and certifying impure computations in Coq☆53Jan 16, 2024Updated 2 years ago
- Monochrome emacs☆23May 4, 2020Updated 6 years ago
- Conway's Game of Life in Svelte☆16Jul 20, 2022Updated 4 years ago
- ☆39May 20, 2019Updated 7 years ago
- Rapidly develop Ember.js applications with Grunt☆18Dec 22, 2016Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Augmented Dockerfile for Commento so we can run it on Heroku☆19Dec 9, 2022Updated 3 years ago
- Unique ID generator can be used as alternative for UUID (or encode/decode UUID byte representation)☆12Jan 20, 2021Updated 5 years ago
- The installer provides an Ansible playbook for setting up CollectionSpace on an Ubuntu server.☆11Aug 26, 2023Updated 2 years ago
- a time slot generator with ability to filter out blocked times☆11Sep 4, 2018Updated 7 years ago
- ☆13Jan 6, 2025Updated last year
- Federated blogging application for YunoHost☆16Dec 31, 2024Updated last year
- Rust macro to build std::Command objects with shell syntax. Uses macro_rules! and works on stable.☆43Mar 12, 2020Updated 6 years ago