Pinned Loading

1. awesome-coq awesome-coq Public

   Forked from uhub/awesome-coq

   A curated list of awesome Coq frameworks, libraries and software.

   1

2. awesome awesome Public

   Forked from sindresorhus/awesome

   😎 Curated list of awesome lists

   1

3. bauer bauer Public

   Forked from matthewbauer/bauer

   An Emacs+Nix IDE

   Emacs Lisp

4. learn-ocaml-workshop learn-ocaml-workshop Public

   Forked from janestreet/learn-ocaml-workshop

   Exercises and projects for Jane Street's OCaml Workshop

   OCaml

5. serverless-cqrs serverless-cqrs Public

   Forked from javatarz/serverless-cqrs

   Sample CQRS example using AWS Lambda

   JavaScript

6. software-foundations-coq-workshop software-foundations-coq-workshop Public

   Forked from jamiepg1/software-foundations-coq-workshop

   Materijal za radionicu Coq-a prema kursu "Software foundations" (CIS 500) Benjamina Piercea

   Coq