Pinned Loading

1. latex-preview-pane latex-preview-pane Public

   Makes LaTeX editing less painful by providing a updatable preview pane

   Emacs Lisp 136 27

2. cam cam Public

   Haskell implementation of the categorical abstract machine

   Haskell 14 3

3. OpenJML/OpenJML OpenJML/OpenJML Public

   This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for O…

   Java 190 39

4. github/codeql-coding-standards github/codeql-coding-standards Public

   This repository contains CodeQL queries and libraries which support various Coding Standards.

   CodeQL 233 83

5. advanced-security/codeql-development-toolkit advanced-security/codeql-development-toolkit Public

   The CodeQL Development toolkit is a tool for making common CodeQL development workflows easier.

   C# 9 3

6. decision-tree-classifier decision-tree-classifier Public

   Haskell 1