Nangos

Nangos's Stars

• Nangos/dafleet

  DafLeet: Verifying Leetcode Problems in Dafny

  Language:Dafny1

• mjbvz/vscode-fenced-code-block-grammar-injection-example

  Example of injecting a new grammar into VSCode's builtin markdown syntax highlighting for fenced code blocks

  10128

• wapringle/mockbrython

  Mock brython functions for local testing and debugging.

  Language:Python83

• aiifabbf/aiifabbf.github.com

  Benjamin Shi's blog. Written in reStructuredText and Jupyter Notebook.

  Language:Jupyter Notebook41