lambdaxdotx

lambdaxdotx's Stars

• markerikson/react-community-tools-practices-cheatsheet

  Descriptions and use cases for common tools and practices in the React community

  Language:JavaScript32813

• typescript-cheatsheets/react

  Cheatsheets for experienced React developers getting started with TypeScript

  Language:JavaScript44.6k4.1k

• Frama-C/github-action-eva-sarif

  Github Action for running the Eva plug-in and producing a SARIF report

  Language:Shell8

• angea/pocorgtfo

  a "Proof of Concept or GTFO" mirror with an extensive index with also whole issues or individual articles as clean PDFs.

  Language:TeX1.3k100

• mirage/irmin

  Irmin is a distributed database that follows the same design principles as Git

  Language:OCaml1.8k154

• mirage/mirage-skeleton

  Examples of simple MirageOS apps

  Language:OCaml22292

• mirage/mirage-www

  Website infrastructure and content for mirage.io

  Language:HTML170106

• mirage/mirage

  MirageOS is a library operating system that constructs unikernels

  Language:OCaml2.5k242