a looking glass for graffiti
☆47Sep 7, 2016Updated 10 years ago
Alternatives and similar repositories for goggles
Users that are interested in goggles are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16Apr 18, 2026Updated 6 months ago
- An idiomatic clojure wrapper to the Jena API☆14Nov 8, 2021Updated 4 years ago
- Revamped version of Polititweet.org☆12Jul 12, 2023Updated 3 years ago
- Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Juli…☆23Jan 3, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Boilerplate application for Brunch with Sass and Chaplin framework included.☆10Mar 24, 2015Updated 11 years ago
- Brunch skeleton including Bootstrap, SASS, Jade and CoffeeScript☆12Apr 7, 2013Updated 13 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆14Oct 14, 2025Updated last year
- Lean 4 kernel with NbE☆18Updated this week
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- ☆16Oct 31, 2023Updated 3 years ago
- A Backbone, Handlebars, Bootstrap, and SASS/LESS skeleton for Brunch. Also, fully Javascript.☆11Dec 2, 2013Updated 12 years ago
- falcor integration for electron's ipc module☆16Oct 8, 2016Updated 10 years ago
- Higher Algebra with Opetopic Types☆17Mar 30, 2023Updated 3 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.
- NanoVG Haskell bindings☆22May 17, 2023Updated 3 years ago
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 6 years ago
- Organize mathematical thoughts☆21Oct 6, 2023Updated 3 years ago
- A universal translation application for multiple platforms and devices.☆12Sep 29, 2010Updated 16 years ago
- 🥩Using Proof of Stake to secure Proofs of Steak☆15Jan 12, 2023Updated 3 years ago
- Yet another Vulkan based rendering engine.☆11Jan 8, 2019Updated 7 years ago
- Firefox Add-on SDK simple storage viewer and editor☆14Jul 15, 2015Updated 11 years ago
- ☆10Jun 25, 2017Updated 9 years ago
- Shamir secret sharing in Haskell.☆15Oct 16, 2017Updated 9 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.
- A Teeny Type Theory☆26Jun 4, 2022Updated 4 years ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- A Twitter clone in Laravel 10, VueJS 3 & InertiaJS☆12Aug 17, 2023Updated 3 years ago
- ☆23Aug 30, 2017Updated 9 years ago
- CSSO plugin for Stylus.☆16Jan 22, 2016Updated 10 years ago
- A Firefox extension to tweak and extend the built-in Firefox developer tools.☆13Oct 29, 2016Updated 10 years ago
- Implementation of the Delta Language☆14Mar 18, 2024Updated 2 years ago
- ☆15Sep 7, 2025Updated last year
- Directions to Last Visitor (2011), Charles Broskoski☆12Oct 28, 2014Updated 12 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.
- Steam Account Spending Summary Bookmarklet☆21Sep 2, 2018Updated 8 years ago
- My personal website + blog☆12Feb 22, 2026Updated 8 months ago
- Synthetic Tait computability in intensional type theory☆18Jul 13, 2026Updated 3 months ago
- Adds a confirmation dialog when you click the "Fork" button for a repository.☆16Oct 25, 2017Updated 9 years ago
- Old Photo Restoration (Deep Latent Space Translation)☆11Dec 7, 2020Updated 5 years ago
- UCheck Bug Tracker☆12Dec 22, 2023Updated 2 years ago
- A toolkit for higher-dimensional diagram rewriting.☆21Sep 15, 2022Updated 4 years ago