darzu

darzu's Stars

• microsoft/vscode

  Visual Studio Code

  Language:TypeScript164k3.3k186k29.3k

• electron/electron

  :electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

  Language:C++114k2.8k20.2k15.4k

• ipfs/ipfs

  Peer-to-peer hypermedia protocol

  22.7k9662171.5k

• dotnet/roslyn

  The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

  Language:C#19.1k1k33.6k4k

• jbranchaud/til

  :memo: Today I Learned

  Language:Vim Script13.5k48522742

• fogleman/ln

  3D line art engine.

  Language:Go3.3k8822130

• tomerfiliba/plumbum

  Plumbum: Shell Combinators

  Language:Python2.8k50358184

• ddevault/TrueCraft

  Minecraft for hipsters

  Language:C#2.4k150148314

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k1161.1k217

• microsoft/pxt

  Microsoft MakeCode (PXT - Programming eXperience Toolkit)

  Language:TypeScript2.1k972.6k584

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k63283228

• PistonDevelopers/hematite

  A simple Minecraft written in Rust with the Piston game engine

  Language:Rust1.9k82111105

• MeoMix/StreamusChromeExtension

  A YouTube video player as a Google Chrome extension

  Language:JavaScript1.1k61577216

• galenmaly/lighterpack

  Language:JavaScript70247150155

• uwplse/verdi

  A framework for formally verifying distributed systems implementations in Coq

  Language:Coq589672556

• cpitclaudel/company-coq

  A Coq IDE build on top of Proof General's Coq mode

  Language:Emacs Lisp3541024029

• lancaster-university/microbit-dal

  Language:C++25947358131

• lancaster-university/microbit-samples

  Language:C++114282372

• Ptival/PeaCoq

  PeaCoq is a pretty Coq, isn't it?

  Language:Coq10683810

• lancaster-university/microbit

  Language:C++7828964

• coq-io/io

  A library for effects in Coq.

  Language:Coq64624

• sampsyo/hooknook

  a little place for your deployments

  Language:Python473104

• oschwald/SublimeLinter-contrib-rustc

  SublimeLinter plugin for Rust

  Language:Python3932715

• bensheldon/panlexicon

  The best thesaurus and wordfinder.

  Language:HTML183193

• NordicPlayground/puck

  Language:CSS81302

• Calvin-L/sublime-coq-plugin

  Syntax highlighting and Coq interactivity for Sublime Text 3

  Language:Python6424

• pjreddie/C4.5-Homework

  Language:Python63012

• uwplse/peek

  Peek: a verified peephole optimizer for CompCert

  Language:Coq54201

• ARMmbed/mbed-hal-nrf51dk

  port of the mbed HAL for the nRF51 DK paltform.

  Language:C23011

• pavpanchekha/coq-server.el

  An Emacs script to run Coq remotely

  Language:Emacs Lisp2211