Robert Lang's reference finder, remade for the web
☆15Sep 8, 2018Updated 8 years ago
Alternatives and similar repositories for ReferenceFinder
Users that are interested in ReferenceFinder are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Find reference points and lines in crease patterns.☆17Updated this week
- diagram drawer☆25Feb 11, 2025Updated last year
- adds Keybinds to the software Orihime by @MT777☆41Dec 19, 2022Updated 3 years ago
- Google for Origami CPs☆13Aug 28, 2026Updated 2 months ago
- A computational origami tool for generating crease patterns from tree diagrams☆50Feb 22, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A cross-platform program for origami design based on circle/river packing.☆19Jun 28, 2021Updated 5 years ago
- Software to compute and analyze flat-folded states of crease patterns☆55Jun 24, 2026Updated 4 months ago
- ☆19Updated this week
- ORIPA is a drawing software dedicated to designing the crease patterns of origami. The unique feature of ORIPA is calculation of the fold…☆334Oct 17, 2026Updated last week
- optimization algorithms to find origami crease patterns / origami design aid☆59Jul 18, 2020Updated 6 years ago
- The Bloomberg Terminal for Prediction Markets☆14Updated this week
- Super-complex origami design made easy!☆95Updated this week
- The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.☆12Updated this week
- math for origami. linear algebra, geometry, 2D and 3D, good interoperability with SVG☆26Aug 31, 2023Updated 3 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.
- Oriedita (fork of Orihime) is an origami crease pattern editor and folding simulator.☆134Jun 12, 2026Updated 4 months ago
- Cross-platform wallet engine for TON written in Rust☆18Oct 2, 2026Updated 3 weeks ago
- binary serialization for python objects☆30Jul 19, 2014Updated 12 years ago
- computational origami library☆654Oct 21, 2026Updated last week
- A fully translated Splatoon demo made in unity☆13Mar 26, 2021Updated 5 years ago
- my nix-darwin config☆12Oct 13, 2026Updated 2 weeks ago
- OpenAPI definition for the Mastodon API.☆19Nov 12, 2022Updated 3 years ago
- a verlet rope sceneKit implementation☆14Oct 18, 2015Updated 11 years ago
- A list of origami related resources☆42Nov 19, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- Design and validate origami models☆18Updated this week
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- A Cytoscape.js extension to provide a unified complexity management framework for compound graphs☆13Nov 5, 2025Updated 11 months ago
- chuck is a webservice that makes Unity3D AssetBundles from various asset types☆26Aug 17, 2023Updated 3 years ago
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- This plugin embeds a live running p5.js sketch into a WordPress blog post or page.☆10Mar 17, 2016Updated 10 years ago
- Edit a static SVG with legend and description to be an interactive content.☆11Mar 16, 2025Updated last year
- 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.
- paste images when writing markdown☆13Oct 7, 2026Updated 3 weeks ago
- IRC-bot written in Lean (https://leanprover.github.io/)☆10Mar 4, 2022Updated 4 years ago
- A Program for Origami Design☆81Feb 15, 2024Updated 2 years ago
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Dec 16, 2019Updated 6 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated 2 years ago
- ☆20Apr 25, 2026Updated 6 months ago
- Website/code for daily code sketches☆12Aug 4, 2025Updated last year