Pinned Loading

1. latex-pretty-symbols.el latex-pretty-symbols.el Public

   Forked from ankitku/latex-pretty-symbols

   Display many latex symbols as their unicode counterparts

   Emacs Lisp 8 1

2. funKanPowCounterModel-coq funKanPowCounterModel-coq Public

   A Coq formalization of a countermodel to claim that the Kan property of simplicial sets are preserved under exponentiation constructively.

   Coq

3. equinor/gordo equinor/gordo Public

   An API-first distributed deployment system of deep learning models using timeseries data to predict the behaviour of systems

   Python 26 23

4. equinor/gordo-controller equinor/gordo-controller Public

   Kubernetes controller for the Gordo CRD

   Rust 7 4

5. noetherian-implies-streamless noetherian-implies-streamless Public

   We provide two Coq proofs that noetherian implies streamless, one proof uses equality, the other is expressible withouth equality.

   Coq

6. streamless-in-coq streamless-in-coq Public

   Coq