Pinned Loading

1. latex-pretty-symbols.ellatex-pretty-symbols.elPublic

   Forked from ankitku/latex-pretty-symbols

   Display many latex symbols as their unicode counterparts

   Emacs Lisp 8 1

2. funKanPowCounterModel-coqfunKanPowCounterModel-coqPublic

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

   Coq

3. equinor/gordoequinor/gordoPublic archive

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

   Python 28 19

4. equinor/gordo-controllerequinor/gordo-controllerPublic archive

   Kubernetes controller for the Gordo CRD

   Rust 7 3

5. noetherian-implies-streamlessnoetherian-implies-streamlessPublic

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

   Coq

6. streamless-in-coqstreamless-in-coqPublic

   Coq