lcdunstan

lcdunstan's Stars

• salesforce/runway-compiler

  Parses and executes Runway models of distributed systems

  Language:JavaScript5011

• docker-archive/dockercloud-haproxy

  HAproxy image that autoreconfigures itself when used in Docker Cloud

  Language:Python652180

• FStarLang/VimFStar

  A Vim mode for FStar

  Language:Vim Script2512

• boogie-org/boogie

  Boogie

  Language:Boogie516112

• jelmer/dulwich

  Pure-Python Git implementation

  Language:Python2.1k402

• ripienaar/free-for-dev

  A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev

  Language:HTML91.5k9.9k

• CakeML/cakeml

  CakeML: A Verified Implementation of ML

  Language:Standard ML98386

• microsoft/SLAyer

  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

  Language:OCaml32624

• mdbtools/mdbtools

  MDB Tools - Read Access databases on *nix

  Language:C1k211

• dannyarcher/pymdb

  Language:Python24

• brianhuangxp/FullMoon

  Language:JavaScript1

• pabigot/pyxb

  Python XML Schema Bindings

  Language:Python13074

• Unikernel-Systems/DockerConEU2015-demo

  The `docker run unikernel` demo DockerCon EU (Nov 2015)

  Language:PHP14218

• mor1/ocaml-tftp

  Language:OCaml183

• neovim/neovim

  Vim-fork focused on extensibility and usability

  Language:Vim Script84.7k5.8k

• OpenVPN/tap-windows6

  Windows TAP driver (NDIS 6)

  Language:C807239

• ARM-software/workload-automation

  A framework for automating workload execution and measurement collection on ARM devices.

  Language:Python153120

• fdopen/opam-repository-mingw

  windows package repository for OPAM (mingw and msvc)

  Language:OCaml9634

• archlinuxarm/PKGBUILDs

  PKGBUILDs modified to build on Arch Linux ARM

  Language:Shell990611

• pawelkaczor/ddd-leaven-akka-v2

  Sample e-commerce system #Microservices #Akka #Reactive-DDD #CQRS

  Language:Scala38469

• StreisandEffect/streisand

  Streisand sets up a new server running your choice of WireGuard, OpenConnect, OpenSSH, OpenVPN, Shadowsocks, sslh, Stunnel, or a Tor bridge. It also generates custom instructions for all of these services. At the end of the run you are given an HTML file with instructions that can be shared with friends, family members, and fellow activists.

  Language:Shell23.2k2k

• google/googletest

  GoogleTest - Google Testing and Mocking Framework

  Language:C++35.1k10.2k

• c-cube/ocaml-containers

  A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

  Language:OCaml49487

• taocpp/PEGTL

  Parsing Expression Grammar Template Library

  Language:C++2k231

• 0x00string/kankuncontroller

  scripts from my kankun hacking

  Language:Python2111

• braibant/windows-opam-repository

  1

• braibant/ocaml-windows-bootstrap

  Language:Shell71

• clue/docker-apt-cacher

  Dockerized apt-cacher container

  Language:Shell912

• ocaml/flexdll

  a dlopen-like API for Windows

  Language:OCaml10531

• linux-sunxi/linux-sunxi

  Linux source for Allwinner/Boxchip F20 (sun3i), A10 (sun4i), A12/A13/A10S (sun5i) and A20 (sun7i) SoCs

  Language:C735467