Skip to content
#

repair

Star

Here are 113 public repositories matching this topic...

Language: All
Filter by language
All 113 Java 14 Python 14 C# 11 C++ 8 Shell 7 C 5 HTML 5 JavaScript 4 PHP 4 Ruby 3
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

uwplse / pumpkin-pi

Star
Open

Improve automatically generated type for retraction

tlringer
tlringer commented Apr 26, 2019

The automatically generated type is, for example:

: forall (A : Type) (v : {H : nat & vector A H}),
      (fun H : {H : nat & vector A H} => orn_list_vector A (orn_list_vector_inv A H) = H) v

We want, for example:

: forall (A : Type) (v : {H : nat & vector A H}),
    orn_list_vector A (orn_list_vector_inv A v) = v

We can pass this type to Coq. While we're at it, w

Read more
good first issue

victordomingos / RepService

Star

Database application for in-store registering of warranty and service/repair processes in general. It enables store staff to keep an organized log of the products left for repair by costumers, their route during the process and the communications made. Processes that require special attention, for instance because of a delay in delivery or while waiting for an answer from the costumer, are highlighted in the main list, in order to allow proper intervention by the staff team.

python business sqlalchemy gui database crm repair logistics repair-processes
  • Updated Jun 30, 2019
  • Python

Improve this page

Add a description, image, and links to the repair topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the repair topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.