rnnalborodo

rnnalborodo's Stars

• 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:Java14032

• pcafrica/focus-beamertheme

  Focus: a minimalist presentation theme for LaTeX Beamer.

  Language:TeX49443

• lichess-org/lichobile

  lichess.org mobile application

  Language:TypeScript2k318

• fredlund/JavaErlang

  JavaErlang is a library that attempts to facilitate the communication between Java and Erlang nodes, implemented as an additional layer on top of the JInterface Java interface.

  Language:Erlang7519

• nnhubbard/ZSSRichTextEditor

  A beautiful rich text WYSIWYG editor for iOS with a syntax highlighted source view

  Language:Objective-C3.8k584

• bobbylight/RSyntaxTextArea

  A syntax highlighting, code folding text editor for Java Swing applications.

  Language:Java1.1k257

• tuftsdev/MusicAppsOnTheIpad

  iOS development examples for the "Music Apps on the iPad" course at Tufts University

  Language:C3915