☆34Jan 7, 2016Updated 10 years ago
Alternatives and similar repositories for AetherCone
Users that are interested in AetherCone are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GlyphsApp Scripts☆11Aug 15, 2023Updated 2 years ago
- Awesome rules of UrlAutoRedirector☆13Sep 13, 2017Updated 8 years ago
- Science Museum Group Collection Online☆47Updated this week
- An introductory workshop to Postgres☆11Mar 23, 2020Updated 6 years ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Utilities for inspecting and manipulating the MongoDB oplog☆36May 30, 2010Updated 15 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Yeoman generator for AngularJS + Nancy☆14May 26, 2015Updated 10 years ago
- Web page content extractor☆32Feb 26, 2013Updated 13 years ago
- A Python library for interacting with the Dynect Managed DNS REST API☆28Oct 28, 2019Updated 6 years ago
- ☆10Updated this week
- Docker container for an OCaml + OPAM setup☆24Nov 28, 2016Updated 9 years ago
- A collection of proposals for NYC Vision Zero☆10May 16, 2019Updated 6 years ago
- Common Lisp Package for Parallel Corpus Processing☆13Feb 17, 2024Updated 2 years ago
- 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.
- ☆11Feb 11, 2017Updated 9 years ago
- A tiny command line bookmark manager.☆12Aug 14, 2022Updated 3 years ago
- Whisk: 16-bit serial processor for TT02☆13Sep 30, 2024Updated last year
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- An Editor with Generic Semantics for Formal Reasoning About Visual Notations☆22Mar 13, 2021Updated 5 years ago
- ☆14Aug 29, 2021Updated 4 years ago
- My customized version of tmux, built with Nix.☆17Nov 6, 2025Updated 5 months ago
- Website for ImplicitCAD☆15Dec 25, 2019Updated 6 years ago
- My new site☆10Jan 7, 2023Updated 3 years ago
- 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.
- Commandline interface to the aria2 download manager☆10Sep 12, 2015Updated 10 years ago
- ☆13Dec 7, 2024Updated last year
- Yet another react component to render markdown.☆16May 28, 2017Updated 8 years ago
- Webpack loader for images which turns them into <img /> components with height and width☆11Oct 11, 2015Updated 10 years ago
- Something for the react week hackathon☆12Mar 14, 2015Updated 11 years ago
- (DEPRECATED) A JSON decoding framework for Swift.☆16Jan 20, 2021Updated 5 years ago
- ☆17Apr 19, 2017Updated 8 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 11 years ago
- Tutorial and example projects for the Arrow MAX1000 FPGA board☆14Sep 13, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆14Apr 27, 2022Updated 3 years ago
- basic markdown renderer for react-native using the great https://github.com/chjj/marked parser☆22Jan 11, 2023Updated 3 years ago
- HTTP debugging tool (Emacs mode)☆46Dec 3, 2022Updated 3 years ago
- Comprehensive set of Sass mixins and utility classes for organizing space. Inspired by "Space in Design Systems" by Nathan Curtis.☆10May 10, 2018Updated 7 years ago
- ☆15Aug 5, 2015Updated 10 years ago
- A Python wrapper around the macOS keychain. A keyper of the keys, if you will.☆38Mar 26, 2025Updated last year
- ☆31Sep 9, 2014Updated 11 years ago