JohnL4

JohnL4's Stars

• angular/angular

  Deliver web apps with confidence 🚀

  Language:TypeScript97.4k3k28.9k26.1k

• ghcjs/ghcjs

  Haskell to JavaScript compiler, based on GHC

  Language:Haskell2.6k74680186

• ananthakumaran/tide

  Tide - TypeScript Interactive Development Environment for Emacs

  Language:Emacs Lisp1.5k27280111

• palantir/eclipse-typescript

  An Eclipse plug-in for developing in the TypeScript language.

  Language:JavaScript33925829073

• OpenJML/OpenJML

  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:

  Language:Java1511180534

• web-padawan/webcomponents.today

  A curated collection of Web Components resources.

  Language:JavaScript100517

• AvailLang/Avail

  The Avail programming language. Includes the virtual machine, standard library, and standard examples.

  Language:Kotlin55111946

• brentjohnson/xconq

  Xconq is a general strategy game system. It is a complete system that includes all the components: a portable engine, graphical interfaces for Unix/Linux/X11, Macintosh, and Windows, multiple AIs, networking for multi-player games, and an extensive games library.

  Language:C337511

• simonhuwiler/roccatvulcan

  Bring your Roccat Vulcan keyboard to life

  Language:JavaScript24288

• jeffreyrosenbluth/Literate

  Convert haskell source files between hs and lhs formats

  Language:Haskell6301

• CaptnSisko/FRC-7763

  Repository for FRC team 7763 Carrboro Robotics' robot code

  Language:Java3511

• cullina/Hex

  Game boards using hexagonal grids

  Language:Haskell2

• sudo-sandwich/ButtonPresser

  confusing game with colored buttons

  Language:JavaScript10

• sudo-sandwich/NBTExplainer

  Explains the structure of an NBT file.

  Language:C#10