spamdaemon
Follow
-
stream2chromecast Public
Forked from dohliam/stream2chromecastChromecast media streamer for Linux
Python GNU General Public License v3.0 UpdatedAug 3, 2024 -
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT Other UpdatedJul 17, 2020 -
-
-
jmdict-simplified Public
Forked from scriptin/jmdict-simplified"Retouched" version of JMdict in JSON format
XQuery Other UpdatedJul 7, 2017 -
electrum Public
Forked from spesmilo/electrumElectrum; Bitcoin thin client
Python MIT License UpdatedApr 23, 2017 -
-
-
-
GPAC main code repository
C GNU Lesser General Public License v2.1 UpdatedJan 22, 2016 -
html2xhtml Public
Forked from jfisteus/html2xhtmlCommand-line HTML to XHTML converter
C Other UpdatedSep 25, 2015 -
-
mason Public
A simple make replacement written in Ruby
Ruby GNU General Public License v2.0 UpdatedJul 3, 2015