-
paperless-ng Public
Forked from jonaswinkler/paperless-ngA supercharged version of paperless: scan, index and archive all your physical documents
Python GNU General Public License v3.0 UpdatedSep 10, 2022 -
openfortivpn Public
Forked from adrienverge/openfortivpnClient for PPP+SSL VPN tunnel services
Perl GNU General Public License v3.0 UpdatedFeb 13, 2022 -
portainer-templates Public
My Portainer Templates
Creative Commons Zero v1.0 Universal UpdatedOct 13, 2021 -
Isabelle Creative Commons Zero v1.0 Universal Updated
Aug 23, 2021 -
thesis-isabelle-sources Public
Source code for the Isabelle/HOL theories contained in my PhD thesis
Isabelle UpdatedAug 20, 2021 -
gramps Public
Forked from gramps-project/grampsSource code for Gramps Genealogical program
Python GNU General Public License v2.0 UpdatedSep 7, 2020 -
strawberry Public
Forked from strawberrymusicplayer/strawberry🍓 Strawberry Music Player
C++ GNU General Public License v3.0 UpdatedMay 17, 2020 -
neovim Public
Forked from neovim/neovimVim-fork focused on extensibility and usability
Vim Script Other UpdatedOct 23, 2019 -
-
docx4j Public
Forked from plutext/docx4jJAXB-based Java library for Word docx, Powerpoint pptx, and Excel xlsx files
Java UpdatedMar 15, 2019 -
ufo-sortals Public
An Isabelle/HOL definition for the concept of Sortals in the Unified Foundational Ontology (UFO)
-
scalasti Public
Forked from bmc/scalastiA Scala interface to the Java StringTemplate library
Scala Other UpdatedJul 23, 2018 -
Docear-Desktop Public
Forked from BeelGroup/Docear-DesktopDocear's desktop version (GPL)
Java UpdatedJun 30, 2018 -
tidal-cli-client Public
Forked from okonek/tidal-cli-clientYou can now use Tidal on linux. With your loved CLI. <3
JavaScript MIT License UpdatedApr 3, 2018 -
log4jdbc-log4j2 Public
Automatically exported from code.google.com/p/log4jdbc-log4j2
-
lexml-vocabulary Public
Forked from lexml/lexml-vocabularyVocabulários do Projeto LexML
PHP UpdatedNov 24, 2017 -
vimperator-labs Public
Forked from vimperator/vimperator-labsVimperator
JavaScript Other UpdatedDec 30, 2016 -
Odoo (formerly OpenERP). Open Source Apps To Grow Your Business.
Python Other UpdatedSep 20, 2016 -
Hets Public
Forked from spechub/HetsThe Heterogeneous Tool Set
Haskell GNU General Public License v2.0 UpdatedMay 24, 2016 -
basic-ccg-parser Public
Basic CCG (Categorical Combinator Grammar) parser, in javascript
UpdatedMar 8, 2016 -
pcollections Public
Forked from hrldcpr/pcollectionsA Persistent Java Collections Library
Java MIT License UpdatedFeb 29, 2016 -
openccg Public
Forked from OpenCCG/openccgOpenCCG library for parsing and realization with CCG
Java Other UpdatedJan 22, 2016 -
-
-
-
jnlp-to-one-jar-maven-plugin Public
A Maven plugin that downloads jars from a JNLP url and builds a One-Jar executable.
Scala GNU General Public License v3.0 UpdatedSep 24, 2015 -
jnlp-data Public
Scala case classes and correspoding XML parsers/serializers for the JNLP XML format using scalaxb
-
searchalgorithms Public
Implementation of graph several search algorithms using traversal strategies
Prolog Apache License 2.0 UpdatedAug 6, 2015 -
gameyard Public
Prolog gaming formalization/algorithms framework
Prolog Apache License 2.0 UpdatedAug 6, 2015 -
tripspace Public
Toy application made as an exercise for Web Development and Semantic Web class
JavaScript Apache License 2.0 UpdatedJul 30, 2015
{{ message }}