arranstewart

arranstewart's Stars

• carbon-language/carbon-lang

  Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

  Language:C++32.5k3856151.5k

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#3k802.8k266

• wrouesnel/p2cli

  pongo2 cli - like the j2cli package in python, but compiles to self-contained go executables

  Language:Go8741921

• devonhollowood/search-algorithms

  Haskell library containing common graph search algorithms

  Language:Haskell524102

• paul-kline/bnf-playground

  Language:Vue362117

• brendanzab/elm-stlc

  Bidirectional type checker for the simply typed lambda calculus

  Language:Elm13301

• bristol-d/bbquiz

  Create scripted online tests for the Blackboard learning environment

  Language:Python6121