Constaints-based spreadsheet prototype
☆19Feb 25, 2016Updated 10 years ago
Alternatives and similar repositories for lot
Users that are interested in lot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The tiniest standalone script to make a window on MacOS☆12Jan 21, 2023Updated 3 years ago
- A small language to demo turning an interpreter into a compiler☆11Nov 3, 2016Updated 9 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆19Aug 5, 2020Updated 5 years ago
- Parsing with "disambiguation filters" in Clojure☆22Jan 11, 2017Updated 9 years ago
- Simple ParserCombinator framework for Swift☆13May 2, 2018Updated 8 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.
- A tool for commit-by-commit code review of repositories on GitHub☆30Jun 28, 2020Updated 5 years ago
- Vulkan compute shader experiment☆11Jan 13, 2021Updated 5 years ago
- Pay someone the most annoying way possible: split across 60 payments☆14Mar 31, 2017Updated 9 years ago
- show flycheck errors in the frame title☆10Mar 21, 2021Updated 5 years ago
- A playground of basic examples decoding a JSON object☆10Jun 21, 2016Updated 9 years ago
- Synthesis minecraft redstone schemes from verilog☆18Sep 20, 2018Updated 7 years ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- Elm Regular expressions made easy☆33Aug 21, 2018Updated 7 years ago
- broadcast messages to everyone on your network☆20Jan 30, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- MNIST-like Datasets for African Numeral Systems☆16Sep 29, 2020Updated 5 years ago
- Ralph is a Lisp-1 dialect that compiles to JavaScript☆75Oct 17, 2019Updated 6 years ago
- Phoenix and Elm, compiled by Webpack, running on Heroku☆34Feb 20, 2016Updated 10 years ago
- Cask support for Flycheck☆16Feb 5, 2024Updated 2 years ago
- A GeoHackDay hack of the BeeLine product☆12Oct 4, 2016Updated 9 years ago
- Compilation script and wrapper for Z3 compiled through Emscripten☆12May 27, 2016Updated 9 years ago
- Little demo using Elm from Cycle.js as a driver☆17Nov 19, 2015Updated 10 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- 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.
- OwOwning with the Windows API Examples and Code. DEFCON Furs 2020 presentation.☆13Jan 18, 2024Updated 2 years ago
- Basic linear algebra for small matrices in C☆12Sep 9, 2025Updated 8 months ago
- Preview the JS code generated by an Elm program☆10Oct 8, 2016Updated 9 years ago
- Prototypes around a medium and toolset for exploring quantities and arithmetic operations☆10Aug 30, 2017Updated 8 years ago
- Look up public repos of a github user.☆18Feb 10, 2017Updated 9 years ago
- convert OVF vm packages to smartos compatible images☆29Feb 4, 2016Updated 10 years ago
- Route parser for Elm, based on parser combinators☆50Nov 16, 2016Updated 9 years ago
- Static site generator using Elm☆86Mar 6, 2016Updated 10 years ago
- Tree editor for touch screens☆68Jun 25, 2017Updated 8 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.
- Constructive Solid Geometry Editor☆12Jul 28, 2017Updated 8 years ago
- Quick inline peeks at agenda items and linked nodes in Org-mode☆21Oct 6, 2022Updated 3 years ago
- Text++ Interfaces (Editable Views of Textual Inputs)☆16Jan 17, 2023Updated 3 years ago
- Repeat from the sign☆81Oct 26, 2016Updated 9 years ago
- exploratory programming for an object system in common lisp☆14Aug 14, 2015Updated 10 years ago
- Sprockets preprocessor for Elm☆16Apr 10, 2018Updated 8 years ago
- Elm Date Extra library add/subtract/diff/format etc dates☆76Sep 17, 2018Updated 7 years ago