coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical defi...
OCaml - LGPL-2.1 - Last pushed - 2.02K stars - 339 forks
orbeon/orbeon-forms
Orbeon Forms is an open source web forms solution. It includes an XForms engine, the Form Builder...
Scala - LGPL-2.1 - Last pushed - 393 stars - 197 forks
tinymce/tinymce
The world's #1 JavaScript library for rich text editing. Available for React, Vue and Angular
TypeScript - LGPL-2.1 - Last pushed - 7K stars - 1.57K forks
NixOS/nix
Nix, the purely functional package manager
C++ - LGPL-2.1 - Last pushed - 2.27K stars - 402 forks
espressif/arduino-esp32
Arduino core for the ESP32
C - LGPL-2.1 - Last pushed - 3.45K stars - 1.8K forks
duplicati/duplicati
Store securely encrypted backups in the cloud!
C# - LGPL-2.1 - Last pushed - 3.95K stars - 482 forks
endlessm/eos-sdk
HTML - LGPL-2.1 - Last pushed - 1 stars
RIOT-OS/RIOT
RIOT - The friendly OS for IoT
C - LGPL-2.1 - Last pushed - 1.76K stars - 1.05K forks
dompdf/dompdf
HTML to PDF converter (PHP5)
PHP - LGPL-2.1 - Last pushed - 6.04K stars - 1.23K forks
paramiko/paramiko
The leading native Python SSHv2 protocol library.
Python - LGPL-2.1 - Last pushed - 5.68K stars - 1.41K forks
nhibernate/nhibernate-core
NHibernate Object Relational Mapper
C# - LGPL-2.1 - Last pushed - 1.65K stars - 829 forks
mapnik/mapnik
Mapnik is an open source toolkit for developing mapping applications
C++ - LGPL-2.1 - Last pushed - 2.24K stars - 637 forks
gitlab-com/support-forum
**Support for GitLab.com issues only.** See [Getting Help](https://about.gitlab.com/getting-help/...
C - LGPL-2.1 - Updated - 165 stars - 22 forks
cockpit-project/cockpit
There's code a goin' on
JavaScript - LGPL-2.1 - Last pushed - 3.71K stars - 482 forks
Dukebats/arduino
Automatically exported from code.google.com/p/arduino
Java - LGPL-2.1 - Last pushed - 0 stars
ilikecats567/arduino
Automatically exported from code.google.com/p/arduino
Java - LGPL-2.1 - Last pushed - 0 stars
esp8266/Arduino
ESP8266 core for Arduino
C - LGPL-2.1 - Last pushed - 9.31K stars - 6.93K forks
OpenTSDB/opentsdb
A scalable, distributed Time Series Database.
Java - LGPL-2.1 - Last pushed - 3.45K stars - 1.02K forks
eXist-db/exist
eXist Native XML Database and Application Platform
Java - LGPL-2.1 - Last pushed - 220 stars - 121 forks
makumba/makumba
Makumba helps you rapidly develop data driven web applications. Provides a custom JSP taglib as a...
Java - LGPL-2.1 - Last pushed - 3 stars - 2 forks
flatpak/flatpak
Linux application sandboxing and distribution framework (formerly xdg-app)
C - LGPL-2.1 - Last pushed - 1.36K stars - 151 forks
dmays/google-code-arduino
Automatically exported from code.google.com/p/arduino
Java - LGPL-2.1 - Last pushed - 0 stars
languagetool-org/languagetool
Style and Grammar Checker for 25+ Languages
Java - LGPL-2.1 - Last pushed - 2.47K stars - 497 forks
libimobiledevice/libimobiledevice
A cross-platform protocol library to communicate with iOS devices
C - LGPL-2.1 - Last pushed - 1.89K stars - 540 forks
Sable/soot
Soot - A Java optimization framework
Java - LGPL-2.1 - Last pushed - 1.1K stars - 409 forks
mumblepins/arduino
Automatically exported from code.google.com/p/arduino
Java - LGPL-2.1 - Last pushed - 0 stars
andyvand/arduino
Automatically exported from code.google.com/p/arduino
Java - LGPL-2.1 - Last pushed - 0 stars
masterpradipg/arduino
Automatically exported from code.google.com/p/arduino
Java - LGPL-2.1 - Last pushed - 0 stars
visualfc/liteide
LiteIDE is a simple, open source, cross-platform Go IDE.
C++ - LGPL-2.1 - Last pushed - 4.42K stars - 593 forks
RaRe-Technologies/gensim
Topic Modelling for Humans
Python - LGPL-2.1 - Last pushed - 9.86K stars - 3.56K forks
License
Keyword
Language
Host

Subscribe to an RSS feed of this search