Constaints-based spreadsheet prototype
☆18Feb 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:
- 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
- Simple ParserCombinator framework for Swift☆13May 2, 2018Updated 7 years ago
- A tool for commit-by-commit code review of repositories on GitHub☆30Jun 28, 2020Updated 5 years ago
- Pay someone the most annoying way possible: split across 60 payments☆14Mar 31, 2017Updated 9 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.
- show flycheck errors in the frame title☆10Mar 21, 2021Updated 5 years ago
- Work-in-progress porting an app to Elm☆29Jul 24, 2017Updated 8 years ago
- ☆28Jun 26, 2016Updated 9 years ago
- guidelines for *-extra contributors☆32Oct 13, 2023Updated 2 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
- blog.mattbierner.com☆10Jul 4, 2024Updated last year
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 6 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
- A GeoHackDay hack of the BeeLine product☆11Oct 4, 2016Updated 9 years ago
- Compilation script and wrapper for Z3 compiled through Emscripten☆12May 27, 2016Updated 9 years ago
- A simple class-based object model for JavaScript☆16Aug 13, 2024Updated last year
- 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
- A simple implementation of the Maybe type in Elixir, intended as an introduction to Functors, Applicative Functors and Monads☆16Jun 25, 2021Updated 4 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.
- Preview the JS code generated by an Elm program☆10Oct 8, 2016Updated 9 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 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
- A lisp-looking language with interpreter and compiler to JS☆28Aug 13, 2019Updated 6 years ago
- Tree editor for touch screens☆68Jun 25, 2017Updated 8 years ago
- Text++ Interfaces (Editable Views of Textual Inputs)☆16Jan 17, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Making mind-bending images using feedback pixel displacement☆20Oct 28, 2016Updated 9 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
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 8 years ago
- ☆10Aug 22, 2018Updated 7 years ago
- Coverage and timing tool for font-lock keywords☆18Jan 4, 2025Updated last year
- purple: compiling a reflective language☆33Feb 27, 2026Updated last month